Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- The undecidability of simultaneous rigid E-unification with two variablesPublished by Springer Nature ,1997
- Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unificationPublished by Springer Nature ,1996
- Simultaneous rigid E-unification is undecidablePublished by Springer Nature ,1996
- Proof-search in intuitionistic logic based on constraint satisfactionPublished by Springer Nature ,1996
- A New Procedural Interpretation of Horn Clauses with EqualityPublished by MIT Press ,1995
- An Intuitionistic Predicate Logic Theorem ProverJournal of Logic and Computation, 1992
- First-Order Logic and Automated Theorem ProvingPublished by Springer Nature ,1990
- A Simplified Proof Method for Elementary LogicPublished by Springer Nature ,1983
- Invertible Sequential Variant of Constructive Predicate CalculusPublished by Springer Nature ,1969
- An Inverse Method for Establishing Deducibility of Nonprenex Formulas of the Predicate CalculusPublished by Springer Nature ,1967