The Lattice of Definability. Origins, Recent Developments, and Further Directions.

Alexei L. Semenov Sergey Soprunov Vladimir A. Uspensky

Published in: CSR (2014)

Keyphrases

recent developments
recent advances
fixed point
propositional logic
information systems
lattice theory
lattice structure
real world
database systems
knowledge discovery
expressive power
concept lattice
algebraic structure