Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality
Sign Up to like & getrecommendations! Published in 2019 at "Logic and Logical Philosophy"
DOI: 10.12775/llp.2019.002
Abstract: In this study, a new paraconsistent four-valued logic called bi-classical connexive logic (BCC) is introduced as a Gentzen-type sequent calculus. Cut-elimination and completeness theorems for BCC are proved, and it is shown to be decidable.… read more here.
Keywords: classical connexive; logic; connexive logic; modal extension ... See more keywords