A Routley-Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart.
Gemma RoblesPublished in: Logica Universalis (2013)
Keyphrases
- valued logic
- propositional logic
- classical logic
- fuzzy logic
- fuzzy sets
- truth values
- first order logic
- multi valued
- logic programs
- datalog programs
- automated reasoning
- logic programming
- belief revision
- stable models
- real time
- relational databases
- artificial intelligence
- knowledge representation
- inference rules
- special case
- default logic
- decision making
- databases