Reduced Routley-Meyer semantics for the logics characterized by natural implicative expansions of Kleene's strong 3-valued matrix.
Gemma RoblesPublished in: Log. J. IGPL (2019)
Keyphrases
- valued logic
- valued semantics
- propositional logic
- propositional dynamic logic
- consistent query answering
- nonmonotonic logics
- proof theory
- conditional logic
- default logic
- first order logic
- epistemic logic
- real world
- proof theoretic
- higher order logic
- modal logic
- logic programming
- classical logic
- singular value decomposition
- computational properties
- default reasoning
- belief revision
- covariance matrix
- description logics
- reasoning tasks
- linear algebra
- regular expressions
- autoepistemic logic
- truth values
- fuzzy logic
- database