Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II.
Viorica Sofronie-StokkermansPublished in: Stud Logica (2000)
Keyphrases
- distributive lattices
- aggregate functions
- argumentation semantics
- default theories
- general theory
- boolean algebra
- algebraic operators
- morphological operators
- linear programming
- default logic
- belief functions
- epistemic logic
- semantic information
- formal semantics
- classical logic
- argumentation frameworks
- logic programming
- data model
- logical framework
- optimal solution
- nonmonotonic reasoning
- mathematical theory
- inference rules
- programming language
- query language
- multi agent systems