Boolean Dependence Logic and Partially-Ordered Connectives.
Johannes EbbingLauri HellaPeter LohmannJonni VirtemaPublished in: CoRR (2014)
Keyphrases
- partially ordered
- partial order
- boolean logic
- truth values
- modal operators
- totally ordered
- classical logic
- possibilistic logic
- multi valued
- partial ordering
- inference rules
- modal logic
- set theory
- logic programming
- real valued
- event calculus
- interval valued
- valued logic
- sequent calculus
- truth table
- boolean functions
- total ordering
- boolean queries
- total order
- logical framework
- deontic logic
- asynchronous circuits
- defeasible logic
- temporal logic
- data structure
- data mining