Harmony in Proof-Theoretic Semantics: A Reductive Analysis

[1]  Thomas Piecha,et al.  Advances in Proof-Theoretic Semantics , 2015, Trends in Logic.

[2]  Roy Dyckhoff,et al.  Some Remarks on Proof-Theoretic Semantics , 2016, Advances in Proof-Theoretic Semantics.

[3]  Stephen Read,et al.  General-Elimination Harmony and Higher-Level Rules , 2015 .

[4]  Peter Schroeder-Heister,et al.  The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony , 2014, Stud Logica.

[5]  Grigory K. Olkhovikov,et al.  ON FLATTENING ELIMINATION RULES , 2014, The Review of Symbolic Logic.

[6]  Grigory K. Olkhovikov.  Proof-theoretic harmony and the levels of rules : Generalised non-flattening results , 2014 .

[7]  Peter Schroeder-Heister,et al.  Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus , 2014 .

[8]  Nissim Francez,et al.  A Note on Harmony , 2012, J. Philos. Log..

[9]  Peter Schroeder-Heister,et al.  Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning , 2012, Topoi.

[10]  C. Allen,et al.  Stanford Encyclopedia of Philosophy , 2011 .

[11]  Stephen Read,et al.  General-Elimination Harmony and the Meaning of the Logical Constants , 2010, J. Philos. Log..

[12]  Roy Dyckhoff,et al.  Generalised elimination rules and harmony , 2009 .

[13]  P. Schroeder-Heister.  Conservativeness and uniqueness , 2008 .

[14]  Ian Jarvie,et al.  Karl Popper: A Centenary Assessment vol. 3 , 2006 .

[15]  Andrew M. Pitts,et al.  On an interpretation of second order quantification in first order intuitionistic propositional logic , 1992, Journal of Symbolic Logic.

[16]  Michael Dummett,et al.  The logical basis of metaphysics , 1991 .

[17]  J. Girard,et al.  Proofs and types , 1989 .

[18]  Peter Schroeder-Heister,et al.  A natural extension of natural deduction , 1984, Journal of Symbolic Logic.

[19]  D. Prawitz.  Proofs and the Meaning and Completeness of the Logical Constants , 1979 .

[20]  Jean François Pique,et al.  About Natural Logic , 1979, Advances in Data Base Theory.

[21]  D. Prawitz.  Ideas and Results in Proof Theory , 1971 .

[22]  Franz Kutschera,et al.  Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik , 1968 .

[23]  D. Prawitz.  Natural Deduction: A Proof-Theoretical Study , 1965 .

[24]  Nuel D. Belnap,et al.  Tonk, Plonk and Plink , 1962 .

[25]  Arthur N. Prior,et al.  The Runabout Inference-Ticket , 1960 .

[26]  P. Lorenzen.  Einführung in die operative Logik und Mathematik , 1955 .

[27]  K. Popper.  CORRECTIONS AND ADDITIONS TO “NEW FOUNDATIONS FOR LOGIC” , 1948 .

[28]  K. R. Popper,et al.  I.—NEW FOUNDATIONS FOR LOGIC , 1947 .

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