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

Abstract

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)

Identifiers

  • HAL Id : hal-00922316 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More