Riesz MV-algebras and their logic.

Antonio Di Nola Ioana Leustean

Published in: EUSFLAT Conf. (2011)

Keyphrases

relation algebra
boolean algebra
multi valued
distributive lattices
classical logic
vector valued
motion vectors
signal analysis
proof theory
logic programming
modal logic
computational properties
predicate logic
formal theory