Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL.
Baris SertkayaHalit OguztüzünPublished in: ISCIS (2004)
Keyphrases
- concept lattice
- theorem prover
- natural deduction
- formal concept analysis
- theorem proving
- inference rules
- formal contexts
- conceptual clustering
- attribute reduction
- first order logic
- formal concepts
- higher order logic
- galois lattices
- cut elimination
- rough set theory
- interactive theorem proving
- association rule mining
- rough sets
- classification rules
- database
- knowledge discovery
- sequent calculus
- association rules
- machine learning
- symbolic data analysis
- attribute values
- databases
- modal logic
- hierarchical structure
- conceptual structures
- training data