Boolean Algebra Admits No Convergent Term Rewriting System.

Rolf Socher-Ambrosius

Published in: RTA (1991)

Keyphrases

boolean algebra
term rewriting
theorem prover
theorem proving
first order logic
constraint query languages
inference rules
rewrite systems
knuth bendix
cardinality constraints
formal semantics
operational semantics
database
set theory