Keyphrases
- propositional logic
- first order logic
- theorem prover
- theorem proving
- mathematical proofs
- formal proofs
- proof procedure
- information systems
- strips planning
- artificial intelligence
- probabilistic logic
- cut elimination
- formal proof
- multi valued
- decision procedures
- sequent calculus
- mathematical knowledge
- inference rules
- satisfiability testing
- modus ponens
- pseudo boolean constraints