A Shell for Generic Interactive Proof Search

&
Journal of Applied Non-Classical Logics 8 (1-2):123-140 (1998)
  Copy   BIBTEX

Abstract

ABSTRACT This paper presents an attempt to create a shell for generic interactive proof search and proof assistant software based on it

Categories

Keywords

Reprint years

DOI

10.1080/11663081.1998.10510935

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,752

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

Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics.Lincoln A. Wallen - 1990 - MIT Press (MA).
An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant?Siekmann Jörg, Horacek Helmut, Kohlhase Michael, Benzmüller Christoph, Cheikhrouhou Lassaad, Fehrer Detlef, Fiedler Armin, Hess Stephan, Konrad Karsten, Meier Andreas, Melis Erica & Sorge Volker - 1999 - International Journal of Computing Anticipatory Systems 3:101-110.
Goal-directed proof theory.Dov M. Gabbay - 2000 - Boston: Kluwer Academic. Edited by Nicola Olivetti.
Review: Lincoln A. Wallen, Automated Proof Search in Non-Classical Logics. Efficient Matrix Proof Methods for Modal and Intuitionistic Logics. [REVIEW]Luis del Cerro - 1993 - Journal of Symbolic Logic 58 (2):719-720.
Review: Lincoln A. Wallen, Automated Proof Search in Non-Classical Logics. Efficient Matrix Proof Methods for Modal and Intuitionistic Logics. [REVIEW]Luis Farinas del Cerro - 1993 - Journal of Symbolic Logic 58 (2):719-720.
Labelled non-classical logics.Luca Viganò - 2000 - Boston: Kluwer Academic Publishers.
Integrating TPS and OMEGA.Christoph Benzmüller, Matt Bishop & Volker Sorge - 1999 - Journal of Universal Computer Science 5 (3):188-207.
Proof theory for admissible rules.Rosalie Iemhoff & George Metcalfe - 2009 - Annals of Pure and Applied Logic 159 (1-2):171-186.
Wallen Lincoln A.. Automated proof search in non-classical logics. Efficient matrix proof methods for modal and intuitionistic logics. Artificial intelligence series. The MIT Press, Cambridge, Mass., and London, 1990, xv+ 239 pp. [REVIEW]Luis Fariñas del Cerro - 1993 - Journal of Symbolic Logic 58 (2):719-720.
Paraconsistent logic and query answering in inconsistent databases.C. A. Middelburg - 2024 - Journal of Applied Non-Classical Logics 34 (1):133-154.

Analytics

Added to PP
2013-11-24

Downloads
33 (#682,329)

6 months
12 (#289,909)

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

A Framework for Defining Logics.Robert Harper, Furio Honsell & Gordon Plotkin - 1987 - LFCS, Department of Computer Science, University of Edinburgh.

Add more references