Equational two axiom bases for Boolean algebras and some other lattice theories.
Boleslaw SobocinskiPublished in: Notre Dame J. Formal Log. (1979)
Keyphrases
- equational theories
- boolean algebra
- lattice theory
- theorem proving
- theorem prover
- real valued
- inference rules
- theoretical framework
- distributive lattices
- boolean functions
- modal logic
- clifford algebra
- basis functions
- horn clauses
- causal reasoning
- lattice structure
- neural network
- concept lattice
- formal models
- artificial intelligence
- topological spaces
- data mining
- relation algebra
- database