Sign Up to like & get
recommendations!
0
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