On the Lattice of the Subvarieties of Monadic MV (C)-algebras.
Antonio Di NolaRevaz GrigoliaGiacomo LenziPublished in: FLAP (2018)
Keyphrases
- boolean algebra
- distributive lattices
- datalog queries
- valued logic
- deductive databases
- lattice structure
- cardinality constraints
- motion vectors
- multiresolution
- topological spaces
- temporal reasoning
- datalog programs
- spatial reasoning
- real time
- transitive closure
- lattice points
- classical logic
- concept lattice
- rough sets
- neural network
- databases