First-Degree Entailment and Structural Reasoning

In this paper it is shown how the logic of first-degree entailment of Anderson and Belnap can be represented by a variety of deductively equivalent binary (Fmla-Fmla) consequence systems, up to a system with transitivity as the only inference rule. Some possible extensions of these systems are briefly considered as well.

[1]  Alan Rose.  A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates , 1963 .

[2]  Nuel D. Belnap,et al.  How a Computer Should Think , 2019, New Essays on Belnap-­Dunn Logic.

[3]  P. Hertz.  Über Axiomensysteme für beliebige Satzsysteme , 1929 .

[4]  J. Dunn.  A Comparative Study of Various Model-Theoretic Treatments of Negation: A History of Formal Negation , 1999 .

[5]  J. A. Kalman,et al.  Lattices with involution , 1958 .

[6]  Andreas Pietz,et al.  Nothing but the Truth , 2013, J. Philos. Log..

[7]  Bas C. van Fraassen,et al.  Gentlemen's wagers: Relevant logic and probability , 1983 .

[8]  Umberto Rivieccio,et al.  An Algebraic View of Super-Belnap Logics , 2017, Stud Logica.

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

[10]  Andrzej Indrzejczak,et al.  A Survey of Nonstandard Sequent Calculi , 2014, Studia Logica.

[11]  Yaroslav Shramko,et al.  A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC , 2016, The Review of Symbolic Logic.

[12]  J. Dunn,et al.  Intuitive semantics for first-degree entailments and ‘coupled trees’ , 1976 .

[13]  João Marcos.  The Value of the Two Values , 2011 .

[14]  J. Michael Dunn.  Algebraic Completeness Results for R-Mingle and Its Extensions , 1970, J. Symb. Log..

[15]  J. Michael Dunn,et al.  Positive modal logic , 1995, Stud Logica.

[16]  J. Michael Dunn,et al.  Contradictory Information: Too Much of a Good Thing , 2010, J. Philos. Log..

[17]  Nuel D. Belnap,et al.  Entailment : the logic of relevance and necessity , 1975 .

[18]  Josep Maria Font,et al.  Belnap's Four-Valued Logic and De Morgan Lattices , 1997, Log. J. IGPL.

[19]  Peter Schroeder-Heister,et al.  Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen , 2002, Bulletin of Symbolic Logic.

[20]  G. Gentzen.  Untersuchungen über das logische Schließen. I , 1935 .

[21]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[22]  Yaroslav Shramko,et al.  First-Degree Entailment and its Relatives , 2017, Stud Logica.

[23]  H. Wansing,et al.  Entailment relations and/as truth values , 2007 .

[24]  M. E. Szabo,et al.  The collected papers of Gerhard Gentzen , 1969 .