The Lattice of Subvarieties of Monadic n-valued Loukasiewicz-Moisil Algebras.
Manuel AbadJ. Patricio Díaz VarelaLaura A. RuedaAna Maria SuardíazPublished in: J. Multiple Valued Log. Soft Comput. (2007)
Keyphrases
- valued logic
- classical logic
- propositional logic
- fuzzy logic
- boolean algebra
- fuzzy sets
- first order logic
- datalog programs
- multi valued
- distributive lattices
- datalog queries
- truth values
- logic programs
- clifford algebra
- cardinality constraints
- neural network
- deductive databases
- databases
- spatial reasoning
- concept lattice
- programming language
- inference rules
- modal logic
- decision trees
- knowledge base
- information systems
- lattice theory
- machine learning