Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I.
Viorica Sofronie-StokkermansPublished in: Stud Logica (2000)
Keyphrases
- distributive lattices
- aggregate functions
- general theory
- argumentation semantics
- morphological operators
- default theories
- algebraic operators
- formal semantics
- epistemic logic
- boolean algebra
- linear programming
- belief functions
- query language
- reasoning tasks
- classical logic
- mathematical morphology
- logic programming
- artificial intelligence
- image analysis