No complete linear term rewriting system for propositional logic.
Anupam DasLutz StraßburgerPublished in: RTA (2015)
Keyphrases
- propositional logic
- term rewriting
- first order logic
- theorem proving
- theorem prover
- propositional variables
- belief revision
- operational semantics
- possibilistic logic
- quantified boolean formulae
- rewrite systems
- davis putnam
- satisfiability testing
- horn logic
- knuth bendix
- lattice theory
- propositional formulas
- inference rules
- probability distribution