Jean Goubault-Larrecq and Ian Mackie. Proof theory and automated deduction. Applied logic series, vol. 6. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xv + 424 pp.

Jörg Hudelmaier

doi:10.2307/421080

Jean Goubault-Larrecq and Ian Mackie. Proof theory and automated deduction. Applied logic series, vol. 6. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xv + 424 pp.

Bulletin of Symbolic Logic ◽

10.2307/421080 ◽

2000 ◽

Vol 6 (1) ◽

pp. 94-95

Author(s):

Jörg Hudelmaier

Keyword(s):

Proof Theory ◽

Automated Deduction ◽

Applied Logic

Download Full-text

Proof Theory and Automated Deduction

10.1007/978-94-011-3981-6 ◽

1997 ◽

Cited By ~ 11

Author(s):

Jean Goubault-Larrecq ◽

Ian Mackie

Keyword(s):

Proof Theory ◽

Automated Deduction

Download Full-text

Torben Braüner, Hybrid Logic and its Proof-Theory, Applied Logic Series Volume 37, Springer, 2011, pp. XIII+231. ISBN: 978-94-007-0001-7 (hardcover) EURO 99,95, ISBN: 978-94-007-0002-4 (eBook) EURO 99,99

Studia Logica ◽

10.1007/s11225-012-9439-2 ◽

2012 ◽

Vol 100 (5) ◽

pp. 1051-1053

Author(s):

Melvin Fitting

Keyword(s):

Proof Theory ◽

Hybrid Logic ◽

Applied Logic

Download Full-text

Some applications of Gentzen's proof theory in automated deduction

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0038693 ◽

2006 ◽

pp. 101-156 ◽

Cited By ~ 8

Author(s):

Michael Beeson

Keyword(s):

Proof Theory ◽

Automated Deduction

Download Full-text

G. Metcalfe, N. Olivetti and D. Gabbay. Proof theory for fuzzy logics. Applied Logic Series, vol. 36. Springer, 2009, viii + 276 pp.

Bulletin of Symbolic Logic ◽

10.1017/s1079898600000895 ◽

2010 ◽

Vol 16 (3) ◽

pp. 415-419 ◽

Cited By ~ 1

Author(s):

Bartosz Wiȩckowski

Keyword(s):

Proof Theory ◽

Fuzzy Logics ◽

Applied Logic

Download Full-text

Research in automated deduction as a basis for a probabilistic proof-theory

Logic and algebra ◽

10.1201/9780203748671-23 ◽

2017 ◽

pp. 491-527

Author(s):

Paola Forcheri ◽

Paola Gentilini ◽

Maria Teresa Molfino

Keyword(s):

Proof Theory ◽

Automated Deduction ◽

Probabilistic Proof

Download Full-text

Proof theory of modal logic, edited by Heinrich Wansing, Applied logic series, vol. 2, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1996, x + 317 pp.

Journal of Symbolic Logic ◽

10.2307/2586817 ◽

1999 ◽

Vol 64 (4) ◽

pp. 1825-1828

Author(s):

Melvin Fitting

Keyword(s):

Modal Logic ◽

Proof Theory ◽

Applied Logic

Download Full-text

Structural Proof Theory

10.1017/cbo9780511527340 ◽

2001 ◽

Cited By ~ 184

Author(s):

Sara Negri ◽

Jan von Plato ◽

Aarne Ranta

Keyword(s):

Proof Theory ◽

Structural Proof Theory

Download Full-text

Basic Proof Theory

10.1017/cbo9781139168717 ◽

2000 ◽

Cited By ~ 209

Author(s):

A. S. Troelstra ◽

H. Schwichtenberg

Keyword(s):

Proof Theory

Download Full-text

A treatise on logic, or, The laws of pure thought; comprising both the Aristotelic and Hamiltonian analyses of logical forms, and some chapters of applied logic (4th ed.).

10.1037/13969-000 ◽

1866 ◽

Author(s):

Francis Bowen

Keyword(s):

Applied Logic

Download Full-text

Basic Problems of Logic in Drug Investigations

Methods of Information in Medicine ◽

10.1055/s-0038-1636154 ◽

1974 ◽

Vol 13 (04) ◽

pp. 248-253

Author(s):

H. Röpke

Keyword(s):

Animal Experiments ◽

Point Of View ◽

Applied Logic ◽

Clinical Investigations

The basic problems of the theory of cognition when extrapolating the results of animal experiments to man and the limitations of inferences from clinical investigations of drugs are discussed from the point of view of applied logic.

Download Full-text