Logics of formal inconsistency based on distributive involutive residuated lattices.
Francesc EstevaAldo Figallo OrellanoTommaso FlaminioLluís GodoPublished in: J. Log. Comput. (2021)
Keyphrases
- distributive lattices
- classical logic
- mathematical theory
- epistemic logic
- modal logic
- valued semantics
- valued logic
- formal model
- expressive power
- data model
- logic programming
- boolean algebra
- inference rules
- conditional logic
- default reasoning
- lower order
- formal models
- operational semantics
- database
- formal specification
- high order
- expert systems
- information systems
- genetic algorithm