First-Order Logic and Automated Theorem Proving

Studia Logica 61 (2):300-302 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

0387945938

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
Introduction to HOL: A Theorem Proving Environment for Higher Order Logic.Michael J. C. Gordon & Tom F. Melham - 1993
Automated Theorem-proving in Non-classical Logics.Paul B. Thistlewaite, Michael A. McRobbie & Robert K. Meyer - 1988 - Pitman Publishing.
Logic for Computer Science: Foundations of Automatic Theorem Proving.Jean H. Gallier - 1986 - HarperCollins Publishers.
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings.E. Thomas Schubert, Phillip J. Windley, James Alves-Foss & International Workshop on Higher Order Logic Theorum Proving and its Applications - 1995 - Springer Verlag.
Theorem Proving in Higher Order Logics 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1998 : Proceedings'.Jim Grundy & Malcolm Newey - 1998 - Springer Verlag.
Theorem Proving in Higher Order Logics : Emerging Trends 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1997 ; Supplementary Proceedings'.Jim Grundy & Malcolm Charles Newey - 1998
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings.Pierangelo Miglioli, Ugo Moscato, Daniele Mundici & Mario Ornaghi - 1996 - Springer Verlag.
Deduction: Automated Logic.W. Bibel, Steffen Hölldobler & Gerd Neugebauer - 1993 - London, England: Academic Press.
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings.Peter Baumgartner, F. Hahnle, Iner Hahnle & Joachim Posegga - 1995 - Springer Verlag.
Automated Deduction in Multiple-valued Logics.Reiner Hähnle - 1993 - Oxford University Press.
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982.Donald W. Loveland - 1982 - Springer.
Review: Melvin Fitting, First-Order Logic and Automated Theorem Proving. [REVIEW]Alfredo Ferro - 1993 - Journal of Symbolic Logic 58 (2):719-719.
Automated Deduction - Cade-17: 17th International Conference on Automated Deduction Pittsburgh, Pa, Usa, June 17-20, 2000 Proceedings.David McAllester - 2000 - Springer Verlag.
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings.Harald Ganzinger - 1999 - Springer Verlag.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.
First-Order Dialogical Games and Tableaux.Nicolas Clerbout - 2014 - Journal of Philosophical Logic 43 (4):785-801.

View all 22 citations / Add more citations

References found in this work

No references found.

Add more references