Reasoning with Theories

[1]  William Craig,et al.  On axiomatizability within a system , 1953, Journal of Symbolic Logic.

[2]  Evert W. Beth,et al.  On Padoa’s Method in the Theory of Definition , 1953 .

[3]  A. Robinson.  A Result on Consistency and its Application to theTheory of Definition , 1956 .

[4]  William Craig,et al.  Linear reasoning. A new form of the Herbrand-Gentzen theorem , 1957, Journal of Symbolic Logic.

[5]  William Craig,et al.  Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory , 1957, Journal of Symbolic Logic.

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

[7]  Jean H. Gallier,et al.  Logic for Computer Science: Foundations of Automatic Theorem Proving , 1985 .

[8]  Helmut Schwichtenberg,et al.  Basic proof theory , 1996, Cambridge tracts in theoretical computer science.

[9]  Samuel R. Buss,et al.  Chapter I - An Introduction to Proof Theory , 1998 .

[10]  S. Semmes,et al.  A Graphic Apology for Symmetry and Implicitness , 2000 .

[11]  Dov M. Gabbay,et al.  Interpolation in Practical Formal Development , 2001, Log. J. IGPL.

[12]  John Harrison,et al.  Handbook of Practical Logic and Automated Reasoning , 2009 .

[13]  P roposnalLogic,et al.  Propositional Logic , 2018, Encyclopedia of Machine Learning and Data Mining.

[14]  Hiroakira Ono,et al.  Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics , 2010, J. Log. Comput..

[15]  Maria Paola Bonacina,et al.  On Interpolation in Automated Theorem Proving , 2014, Journal of Automated Reasoning.

[16]  Tomasz Kowalski,et al.  ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC , 2016, The Review of Symbolic Logic.

[17]  Peter A. Flach.  First-Order Logic , 2018, Encyclopedia of Machine Learning.