Congruences on a Balanced Pseudocomplemented Ockham Algebra whose Quotient Algebras are Boolean.
Jie FangLei-Bo WangPublished in: Stud Logica (2010)
Keyphrases
- distributive lattices
- relation algebra
- boolean algebra
- interval algebra
- real valued
- maximal tractable
- belief functions
- machine intelligence
- general theory
- boolean functions
- expressive power
- query language
- relational algebra
- boolean queries
- information systems
- neural network
- real time
- real numbers
- cardinality constraints
- data model
- algebraic structure
- multiscale
- artificial intelligence
- clifford algebra