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
Single-domain free logic and the problem of compositionality
Sign Up to like & getrecommendations! Published in 2020 at "Synthese"
DOI: 10.1007/s11229-020-02651-x
Abstract: In this paper, I will defend a new compositional semantics for single-domain free logic. This semantics makes use of a distinction between the semantic value of a singular term and its semantic referent . The… read more here.
Keywords: domain free; free logic; semantics; single domain ... See more keywords
Electronics-Free Logic Circuits for Localized Feedback Control of Multi-Actuator Soft Robots
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Robotics and Automation Letters"
DOI: 10.1109/lra.2020.2982866
Abstract: The vision of creating entirely-soft robots capable of performing complex tasks will be accomplished only when the controllers required for autonomous operation can be fully implemented using soft components. Despite recent advances in compliant fluidic… read more here.
Keywords: control; electronics free; logic circuits; soft robots ... See more keywords