Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

ISCIS
2004
Springer

favoriteEmaildiscussreport

77views Information Technology» more ISCIS 2004»

Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL

13 years 10 months ago

Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL

Download lat.inf.tu-dresden.de

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.

Baris Sertkaya, Halit Oguztüzün

Real-time Traffic

Formal Concept Analysis | Isabelle/HOL Proof Assistant | ISCIS 2004 | Machine-checked Proof |

claim paper

Related Content

» Importing HOL into IsabelleHOL

» Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models

» The Basic Theorem on Generalized Concept Lattice

» Cryptographically Sound Theorem Proving

» Fuzzy Concept Lattice is Made by ProtoFuzzy Concepts

» Polyadic Concept Analysis

» The Proof Complexity of Linear Algebra

» Isar A Generic Interpretative Approach to Readable Formal Proof Documents

» Factor Analysis of Incidence Data via Novel Decomposition of Matrices

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	ISCIS
Authors	Baris Sertkaya, Halit Oguztüzün

Comments (0)