Boolean Dependence Logic and Partially-Ordered Connectives.
Johannes EbbingLauri HellaPeter LohmannJonni VirtemaPublished in: WoLLIC (2013)
Keyphrases
- partially ordered
- partial order
- truth values
- boolean logic
- classical logic
- modal operators
- multi valued
- totally ordered
- possibilistic logic
- event calculus
- set theory
- partial ordering
- valued logic
- interval valued
- modal logic
- boolean functions
- inference rules
- real valued
- total order
- predicate logic
- logic programming
- automated reasoning
- digital circuits
- nonmonotonic logics
- sequent calculus