Projectivity and unification in the varieties of locally finite monadic MV-algebras.

Antonio Di Nola Revaz Grigolia Giacomo Lenzi

Published in: TACL (2013)

Keyphrases

equational theories
function symbols
higher order
datalog queries
theorem proving
finite number
real time
database systems
motion vectors
deductive databases
datalog programs
finite automata
globally consistent
unit length
valued logic
distributive lattices
topological spaces
word order
knowledge base
data sets