Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties.
Francesco PaoliMatthew SpinksRobert VeroffPublished in: Logica Universalis (2008)
Keyphrases
- modal logic
- classical logic
- valued logic
- proof theory
- propositional dynamic logic
- propositional calculus
- nonmonotonic logics
- lattice theory
- truth values
- epistemic logic
- computational properties
- proof theoretic
- boolean algebra
- intuitionistic logic
- coalition logic
- lattice structure
- horn logic
- higher order logic
- sequent calculi
- inference rules
- propositional logic
- modal operators
- proof procedures
- conditional logic
- multi valued
- automated reasoning
- temporal logic
- order sorted
- linearly ordered
- knowledge representation formalisms
- algebraic structure
- valued semantics
- logical framework
- model checking
- fuzzy logic
- dynamic logic
- expressive power
- logic programming
- linear logic
- set theory
- belief revision
- description logics