A Mechanised Abstract Formalisation of Concept Lattices

DOI10.1007/978-3-319-06251-8_15zbMath1407.68480OpenAlexW218118034MaRDI QIDQ5410488

Wolfram Kahl

Publication date: 16 April 2014

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06251-8_15

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Knowledge representation (68T30) Complete lattices, completions (06B23) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Uses Software

• Isabelle/Isar
• Cayenne
• Agda
• RATH-Agda