Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic.
Xavier CaicedoPublished in: Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Keyphrases
- truth values
- modal logic
- inference rules
- classical logic
- multi valued
- fixpoint
- relation algebra
- case study
- sequent calculus
- boolean algebra
- spatial reasoning
- logical operations
- epistemic logic
- data sets
- reference frame
- theorem proving
- situation calculus
- temporal logic
- valued logic
- motion vectors
- logic programming
- neural network