First-order swap structures semantics for some Logics of Formal Inconsistency.
Marcelo E. ConiglioAldo Figallo OrellanoAna Claudia GolzioPublished in: CoRR (2019)
Keyphrases
- valued logic
- sound and complete with respect
- model theoretic
- conditional logic
- proof theoretic
- valued semantics
- classical logic
- decision procedures
- default reasoning
- propositional logic
- nonmonotonic reasoning
- deductive databases
- operational semantics
- higher order logic
- first order logic
- logical formulas
- proof theory
- description logics
- modal logic
- nonmonotonic logics
- belief revision
- logic programs
- propositional dynamic logic
- logic programming
- expressive power
- consistent query answering
- graph cuts
- mathematical theory
- highly expressive
- datalog programs
- computational properties
- formal specification
- proof procedures
- machine processable
- reasoning tasks
- formal semantics