COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS, vol.3280, pp.976-985, 2004 (Peer-Reviewed Journal)
Article / Article
COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS
Science Citation Index Expanded, Scopus
This paper presents a machine-checked proof of the Basic Theorem on Concept Lattices, which appears in the book "Formal Concept Analysis" by Canter and Wille, in the Isabelle/HOL Proof Assistant. As a by-product, the underlying lattice theory by Kammueller has been extended.