The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract).
Oliver BittelPublished in: TABLEAUX (1992)
Keyphrases
- extended abstract
- theorem proving
- intuitionistic logic
- natural deduction
- tableau calculus
- theorem prover
- description logics
- linear logic
- classical logic
- inference rules
- first order logic
- fixed point
- automated reasoning
- knowledge base
- decision procedures
- proof search
- proof procedure
- predicate calculus
- sequent calculus
- proof theoretic
- normal form
- rough sets
- knowledge representation