Clausal Intuitionistic Logic II - Tableau Proof Procedures.
L. Thorne McCartyPublished in: J. Log. Program. (1988)
Keyphrases
- proof procedure
- theorem proving
- proof procedures
- intuitionistic logic
- natural deduction
- proof search
- inference rules
- theorem prover
- linear logic
- decision procedures
- first order logic
- classical logic
- automated reasoning
- predicate calculus
- propositional logic
- horn clauses
- inductive logic programming
- description logics
- sequent calculus
- knowledge base
- normal form
- object oriented
- relational databases