A resolution theorem prover for intuitionistic logic
- 1 January 1996
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- The axioms of constructive geometryAnnals of Pure and Applied Logic, 1995
- Resolution Strategies for the Intuitionistic LogicPublished by Springer Science and Business Media LLC ,1994
- Proof strategies in linear logicJournal of Automated Reasoning, 1994
- Resolution Methods for the Decision ProblemLecture Notes in Computer Science, 1993
- An Intuitionistic Predicate Logic Theorem ProverJournal of Logic and Computation, 1992
- Contraction-free sequent calculi for intuitionistic logicThe Journal of Symbolic Logic, 1992
- Theorem proving in non-standard logics based on the inverse methodLecture Notes in Computer Science, 1992
- Proof search in the intuitionistic sequent calculusLecture Notes in Computer Science, 1992
- Investigations into proof-search in a system of first-order dependent function typesPublished by Springer Science and Business Media LLC ,1990
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965