Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00922316
Contributor : Jérôme Euzenat <>
Submitted on : Wednesday, December 25, 2013 - 10:18:19 PM
Last modification on : Monday, August 3, 2020 - 11:40:02 AM
Long-term archiving on: : Tuesday, March 25, 2014 - 10:20:09 PM

File

brunet2000a.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00922316, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

336

Files downloads

91