A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic.
Kosta DosenPublished in: Math. Log. Q. (1987)
Keyphrases
- propositional logic
- davis putnam
- proof procedure
- first order logic
- belief revision
- decision making
- possibilistic logic
- theorem prover
- quantified boolean formulae
- cut elimination
- propositional satisfiability
- linear logic
- decision problems
- lattice theory
- satisfiability testing
- fuzzy set theory
- horn clauses
- artificial intelligence
- belief change
- minimal models
- sequent calculus
- inference rules
- knowledge representation
- search space
- horn logic