Another tableau based automated theorem prover for classical logic.
Harrie C. M. de SwartW. M. J. OpheldersPublished in: Bull. EATCS (1988)
Keyphrases
- automated theorem proving
- theorem prover
- classical logic
- theorem proving
- inference rules
- proof search
- logic programming
- first order logic
- automated reasoning
- modal logic
- formal proof
- term rewriting
- computer algebra
- boolean algebra
- intuitionistic logic
- mathematical knowledge
- possibilistic logic
- natural deduction
- default logic
- neural network
- propositional logic
- conditional probabilities
- incomplete information
- expert systems
- decision making