Constructive negation, implication, and co-implication

In this paper, a family of paraconsistent propositional logics with constructive negation, constructive implication, and constructive co-implication is introduced. Although some fragments of these logics are known from the literature and although these logics emerge quite naturally, it seems that none of them has been considered so far. A relational possible worlds semantics as well as sound and complete display sequent calculi for the logics under consideration are presented.

[1]  Cecylia Rauszer,et al.  A formalization of the propositional calculus of H-B logic , 1974 .

[2]  Richmond H. Thomason,et al.  A semantical study of constructible falsity , 1969 .

[3]  Heinrich Wansing,et al.  The Logic of Information Structures , 1993, Lecture Notes in Computer Science.

[4]  Sergei P. Odintsov,et al.  Algebraic Semantics for Paraconsistent Nelson's Logic , 2003, J. Log. Comput..

[5]  Heinrich Wansing,et al.  Connexive Modal Logic , 2004, Advances in Modal Logic.

[6]  Rajeev Goré,et al.  A Cut-Free Sequent Calculus for Bi-intuitionistic Logic , 2007, TABLEAUX.

[7]  Heinrich Wansing,et al.  Suszko’s Thesis, Inferential Many-valuedness, and the Notion of a Logical System , 2008, Stud Logica.

[8]  Norihiro Kamide.  A Canonical Model Construction for Substructural Logics with Strong Negation , 2002, Reports Math. Log..

[9]  Dirk van Dalen,et al.  Logic and structure , 1980 .

[10]  Tristan Crolard,et al.  Subtractive logic , 2001, Theor. Comput. Sci..

[11]  Nicole Fassbinder.  Automated Reasoning with Analytic Tableaux and Related Methods , 1997, Lecture Notes in Computer Science.

[12]  HEINRICH WANSING,et al.  Harmonious Many-Valued Propositional Logics and the Logic of Computer Networks , 2008 .

[13]  E. López-Escobar,et al.  Refutability and elementary number theory , 1972 .

[14]  Dimiter Vakarelov.  Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation , 2005, Stud Logica.

[15]  Frank Wolter,et al.  On Logics with Coimplication , 1998, J. Philos. Log..

[16]  Heinrich Wansing,et al.  Some Useful 16-Valued Logics: How a Computer Network Should Think , 2005, J. Philos. Log..

[17]  Rajeev Goré,et al.  Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents , 2008, Advances in Modal Logic.

[18]  Rajeev Goré,et al.  Dual Intuitionistic Logic Revisited , 2000, TABLEAUX.

[19]  Dimiter Vakarelov,et al.  Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation , 2006, Stud Logica.

[20]  Storrs McCall.  III.—CONNEXIVE IMPLICATION AND THE SYLLOGISM , 1967 .

[21]  Norihiro Kamide.  A note on dual-intuitionistic logic , 2003, Math. Log. Q..

[22]  J. Michael Dunn,et al.  Partiality and Its Dual , 2000, Stud Logica.

[23]  C. Rauszer.  Applications of Kripke models to Heyting-Brouwer logic , 1977 .

[24]  Jean-Yves Girard,et al.  A new constructive logic: classic logic , 1991, Mathematical Structures in Computer Science.

[25]  Dimiter Vakarelov,et al.  Notes on N-lattices and constructive logic with strong negation , 1977 .

[26]  Igor Urbas,et al.  Dual-Intuitionistic Logic , 1996, Notre Dame J. Formal Log..

[27]  Walter Alexandre Carnielli,et al.  Anti-intuitionism and paraconsistency , 2005, J. Appl. Log..

[28]  Harrie de Swart,et al.  Automated Reasoning with Analytic Tableaux and Related Methods , 2000, Lecture Notes in Computer Science.

[29]  Yuri Gurevich,et al.  Intuitionistic logic with strong negation , 1977 .

[30]  S. Odintsov.  Constructive Negations and Paraconsistency , 2008 .

[31]  C. Rauszer.  An algebraic and Kripke-style approach to a certain extension of intuitionistic logic , 1980 .

[32]  L. Goble.  The Blackwell guide to philosophical logic , 2001 .

[33]  David Nelson,et al.  Constructible falsity , 1949, Journal of Symbolic Logic.

[34]  Heinrich Wansing,et al.  A Note on Negation in Categorial Grammar , 2007, Log. J. IGPL.

[35]  Nuel Belnap,et al.  Display logic , 1982, J. Philos. Log..

[36]  Richard Routley,et al.  Semantical analyses of propositional systems of Fitch and Nelson , 1974 .

[37]  Norihiro Kamide,et al.  Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation , 2006, J. Log. Lang. Inf..

[38]  David Nelson,et al.  Constructible falsity and inexact predicates , 1984, Journal of Symbolic Logic.