This paper presents a machine-checked proof of the Basic Theorem on Concept Lattices, which appears in the book "Formal Concept Analysis" by Ganter and Wille, in the Isabelle/HOL Proof Assistant. As a by-product, the underlying lattice theory by Kammueller has been extended. © Springer-Verlag 2004.
CITATION STYLE
Sertkaya, B., & Oǧuztüzün, H. (2004). Proof of the basic theorem on concept lattices in isabelle/HOL. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3280, 976–985. https://doi.org/10.1007/978-3-540-30182-0_98
Mendeley helps you to discover research relevant for your work.