A paraconsistent 3-valued logic related to Gödel logic G3.
Gemma RoblesJosé M. MéndezPublished in: Log. J. IGPL (2014)
Keyphrases
- valued logic
- classical logic
- propositional logic
- truth values
- fuzzy logic
- multi valued
- fuzzy sets
- first order logic
- logic programs
- automated reasoning
- modal logic
- logic programming
- datalog programs
- default logic
- general purpose
- stable models
- data model
- genetic algorithm
- theorem proving
- special case
- artificial neural networks
- relational databases