Proof of the basic theorem on concept lattices in Isabelle/HOL

Sertkaya, B
Oğuztüzün, Mehmet Halit S.

Open PDF

Open link

Publication date

January 2004

DOI

10.1007/978-3-540-30182-0_98

Publisher

Springer Science and Business Media LLC

Journal

0302-9743

Language

English

Abstract

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

Extracted data

We use cookies to provide a better user experience.

Data Protection

Proof of the basic theorem on concept lattices in Isabelle/HOL

Abstract

Extracted data

Proof of the basic theorem on concept lattices in Isabelle/HOL

Abstract

Extracted data

Related items

Related items