Boolean dependence logic and partially-ordered connectives.
Johannes EbbingLauri HellaPeter LohmannJonni VirtemaPublished in: J. Comput. Syst. Sci. (2017)
Keyphrases
- partially ordered
- partial order
- truth values
- boolean logic
- classical logic
- multi valued
- totally ordered
- possibilistic logic
- modal operators
- partial ordering
- event calculus
- interval valued
- modal logic
- set theory
- inference rules
- real valued
- boolean functions
- valued logic
- total order
- logic programming
- predicate logic
- sequent calculus
- truth table
- asynchronous circuits
- conjunctive normal form
- deductive databases
- data mining