Proofs of some Propositions of the semi-Intuitionistic Logic with Strong Negation

2017/08/30 by Cornejo, Juan Manuel, Viglizzo, Ignacio
#03B60 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1708.09448

Abstract

We offer the proofs that complete our article introducing the propositional calculus called semi-intuitionistic logic with strong negation.

Related

• Double-Negation Elimination in Some Propositional Logics
• Strong Negation is Definable in 2Int
• On Paraconsistent Weakening of Intuitionistic Negation
• Fundamental Propositional Logic with Strict Implication
• Definite Formulae, Negation-as-Failure, and the Base-extension Semantics of Intuitionistic Propositional Logic