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 [Book Review]

Bulletin of Symbolic Logic 6 (1):94-95 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/421080

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,571

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Jean Goubault-Larrecq, Ian Mackie, Proof Theory and Automated Deduction. [REVIEW]Jörg Hudelmaier - 2000 - Bulletin of Symbolic Logic 6 (1):94-95.
Proof Theory and Automated Deduction.Jörg Hudelmaier - 2000 - Bulletin of Symbolic Logic 6 (1):94-95.
Book Reviews. [REVIEW]Chrisoula Andreou, Andris Krumins, Brendan Larvor & Andre Vellino - 1998 - International Studies in the Philosophy of Science 12 (3):281-292.
Jean Goubault-Larrecq & Ian Mackie, Proof Theory and Automated Deduction.A. Vellino - 1998 - International Studies in the Philosophy of Science 12 (3):290.
Proof Theory and Automated Deduction.Jörg Hudelmaier - 2000 - Studia Logica 65 (2):296-298.
Andrews Peter B.. An introduction to mathematical logic and type theory: to truth through proof. Applied logic series, vol. 27. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2002, xviii+ 390 pp. [REVIEW]Mitsuru Yasuhara - 2003 - Bulletin of Symbolic Logic 9 (3):408-408.
Maarten Marx and Yde Venema. Multi-dimensional modal logic. Applied logic series, vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xiii + 239 pp. [REVIEW]Dimiter Vakarelov - 2000 - Bulletin of Symbolic Logic 6 (4):490-495.
deBessonet Cary G.. A many-valued approach to deduction and reasoning for artificial intelligence. The Kluwer international series in engineering and computer science. Kluwer Academic Publishers, Boston, Dordrecht, and London, 1991, xviii+ 248 pp. [REVIEW]Robert Stärk - 1995 - Journal of Symbolic Logic 60 (4):1328-1329.
Defeasible deontic logic, edited by Nute Donald, Synthese library, vol. 263, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, x + 354 pp. [REVIEW]Wiebe Van Der Hoek - 2000 - Bulletin of Symbolic Logic 6 (1):89-94.
Edmund Husserl: Natur und Geist, Vorlesungen Sommersemester 1927, editado por Michael Weiler, Husserliana XXXII, Dordrecht/Boston/Londres: Kluwer Academic Publishers, 2001, 370 pp.; Die Bernauer Manuskripte über das Zeitbewußtsein (1917/ 18), editado por Rudolf Bernet y Dieter Lohmar, Husserliana XXXIII, Dordrecht/ Boston/Londres: Kluwer Academic Publishers, 2001, 466 pp.; Transzendentaler Idealismus, Texte aus dem Nachlass (1908-1921), editado por Robin D. Rollinger, en colaboración con Rochus Sowa, Husserliana XXXVI, Dordrecht/Boston/Londres: Kluwer Academic Publishers, 2003, 243 pp. [REVIEW]Rosemary Rizo-Patrón - 2004 - Areté. Revista de Filosofía 16 (1):163-175.
Proof theory, History and philosophical significance, edited by Vincent F. Hendricks, Stig Andur Pedersen, and Klaus Frovin Jørgensen, Synthese library, vol. 292, Kluwer Academic Publishers, Dordrecht, Boston, and London, 2000, xii + 244 pp.—. [REVIEW]Jan von Plato - 2002 - Bulletin of Symbolic Logic 8 (3):431-432.
Prakken Henry. Logical tools for modelling legal argument. A study of defeasible reasoning in law. Law and philosophy library, vol. 32. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xiii + 314 pp. [REVIEW]R. P. Loui - 1999 - Journal of Symbolic Logic 64 (4):1840-1841.
Hájek Petr. Metamathematics of fuzzy logic. Trends in logic, vol. 4. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, viii + 297 pp. [REVIEW]Francis Jeffry Pelletier - 2000 - Bulletin of Symbolic Logic 6 (3):342-346.
Paśniczek Jacek. The logic of intentional objects. A Meinongian version of classical logic. Synthese library, vol. 269. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1998, vii + 212 pp. [REVIEW]Dale Jacquette - 1999 - Journal of Symbolic Logic 64 (4):1847-1849.
Cresswell M. J.. Entities and indices. Studies in linguistics and philosophy, vol. 41. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, xi + 274 pp. [REVIEW]James Higginbotham - 1993 - Journal of Symbolic Logic 58 (2):723-725.

Analytics

Added to PP
2016-06-30

Downloads
21 (#731,987)

6 months
3 (#967,057)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references