Automating Free Logic in HOL, with an Experimental Application in Category Theory
Sign Up to like & getrecommendations! Published in 2019 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-018-09507-7
Abstract: A shallow semantical embedding of free logic in classical higher-order logic is presented, which enables the off-the-shelf application of higher-order interactive and automated theorem provers for the formalisation and verification of free logic theories. Subsequently,… read more here.
Keywords: application; free logic; automating free; category theory ... See more keywords
Category theory-based emotional intelligence mapping model for consumer-E-business to improve E-commerce
Sign Up to like & getrecommendations! Published in 2021 at "Aggression and Violent Behavior"
DOI: 10.1016/j.avb.2021.101631
Abstract: Abstract Economic growth, proliferation, and globalization of economic and trade policies have resulted in the rapid growth and development of e-commerce and e-business across different application domains. However, with this growing demand for e-business, there… read more here.
Keywords: emotional intelligence; business; commerce; category theory ... See more keywords
The application of applied category theory to quantify mission success
Sign Up to like & getrecommendations! Published in 2022 at "SIMULATION"
DOI: 10.1177/00375497221114861
Abstract: Mission engineering is the quantification of the effects applied by a system of systems to achieve measurable desired results. The execution of the mission is defined by a mission thread; that is the sequence of… read more here.
Keywords: applied category; category theory; mission thread; success ... See more keywords