Modal extension of ideal paraconsistent four-valued logic and its subsystem.
Norihiro KamideYoni ZoharPublished in: Ann. Pure Appl. Log. (2020)
Keyphrases
- valued logic
- classical logic
- truth values
- propositional logic
- modal logic
- fuzzy logic
- fuzzy sets
- first order logic
- multi valued
- logic programs
- automated reasoning
- inference rules
- logic programming
- datalog programs
- neural network
- programming language
- artificial intelligence
- database
- belief revision
- database systems
- data mining