The Logic of Quasi-MV Algebras.
Félix BouFrancesco PaoliAntonio LeddaMatthew SpinksRoberto GiuntiniPublished in: J. Log. Comput. (2010)
Keyphrases
- relation algebra
- boolean algebra
- logic programming
- classical logic
- spatial reasoning
- distributive lattices
- predicate logic
- automated reasoning
- temporal reasoning
- modal logic
- computational properties
- logic programs
- asynchronous circuits
- proof theory
- computer vision
- motion vectors
- defeasible logic
- formal theory
- description logics
- topological spaces
- computational complexity