Formal Concepts in Dedekind Categories

DOI10.1007/978-3-540-78913-0_17zbMath1140.68065OpenAlexW1571812785MaRDI QIDQ3498416

Yasuo Kawahara, Kazumasa Honda, Toshikazu Ishida

Publication date: 15 May 2008

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78913-0_17

Mathematics Subject Classification ID

Knowledge representation (68T30) Complete lattices, completions (06B23) Categories of spans/cospans, relations, or partial maps (18B10)

Related Items (3)

Point Axioms in Dedekind Categories ⋮ Boolean Algebras and Stone Maps in Schröder Categories ⋮ Point axioms and related conditions in Dedekind categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the calculus of relations

This page was built for publication: Formal Concepts in Dedekind Categories