Lattice approach to classifications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2000

Lattice approach to classifications


We present a translation of J. Barwise and J. Seligman's "Information Flow Theory" into a lattice and Galois connection based formalism. We show how to transform the different structures of the theory into this formalism and show that this translation extends the expressivity of the theory.
Fichier principal
Vignette du fichier
brunet2000a.pdf (294.06 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00922316 , version 1 (25-12-2013)


  • HAL Id : hal-00922316 , version 1


Olivier Brunet. Lattice approach to classifications. Proc. 12th European summer school on logic, language and information (ESSLLI), 2000, Birmimgham, United Kingdom. pp.34-44. ⟨hal-00922316⟩
64 View
28 Download


Gmail Facebook X LinkedIn More