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
Relevant Connexive Logic
Sign Up to like & getrecommendations! Published in 2019 at "Logic and Logical Philosophy"
DOI: 10.12775/llp.2019.007
Abstract: In this paper, a connexive extension of the Relevance logic R → was presented. It is defined by means of a natural deduction system, and a deductively equivalent axiomatic system is presented too. The goal… read more here.
Keywords: connexive logic; relevant connexive; philosophy; logic ... See more keywords