Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic.
Juntao WangPengfei HeJiang YangMei WangXiaoli HePublished in: J. Log. Comput. (2022)
Keyphrases
- datalog programs
- deductive databases
- datalog queries
- monadic second order logic
- first order logic
- logic programming
- valued logic
- expressive power
- classical logic
- query answering
- conjunctive queries
- set theory
- recursive queries
- multi valued
- algebraic operations
- predicate logic
- knowledge base
- high speed
- fuzzy logic
- knowledge representation