The Logic of Perfect MV-algebras.

Lawrence Peter Belluce Antonio Di Nola Brunella Gerla

Published in: EUSFLAT Conf. (2) (2007)

Keyphrases

relation algebra
boolean algebra
modal logic
logic programming
classical logic
multi valued
set theory
motion vectors
predicate logic
abductive reasoning
proof theory
artificial intelligence
automated reasoning
real time
reference frame
nonmonotonic logics
data mining