Truth in a Logic of Formal Inconsistency: How classical can it get?
Lavinia María PicolloPublished in: Log. J. IGPL (2020)
Keyphrases
- valued logic
- classical logic
- truth values
- logic programming
- propositional logic
- fuzzy logic
- modal logic
- multi valued
- mathematical theory
- fuzzy sets
- logic programs
- first order logic
- automated reasoning
- valued semantics
- neural network
- quantum computation
- formal language
- model theoretic
- formal model
- knowledge representation
- databases
- inconsistent knowledge
- finite model theory