Context Algebras, Context Frames, and Their Discrete Duality

DOI10.1007/978-3-540-89876-4_13MaRDI QIDQ5505447zbMATH OpenOpenAlexFDO

Authors Ewa Orłowska, Ingrid Rewitzky

Publication date 27 January 2009

Published in Transactions on Rough Sets IX (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89876-4_13

zbMATH Keywords

formal concept analysisrepresentation theoremattribute dependencydiscrete dualityduality via truthcontext algebra

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Lattices and duality (06D50)

Recommendations

• Formal contexts for algebraic domains
• scientific article; zbMATH DE number 1107778
• Algebras of semiconcepts and double Boolean algebras
• Formal \(\mathcal{F}\)-contexts and their induced implication rule systems
• Dualities for structures of applied logics

Cites work

• scientific article; zbMATH DE number 1670904 (Why is no real title available?)
• scientific article; zbMATH DE number 5129611 (Why is no real title available?)
• scientific article; zbMATH DE number 3771669 (Why is no real title available?)
• scientific article; zbMATH DE number 53312 (Why is no real title available?)
• scientific article; zbMATH DE number 1249514 (Why is no real title available?)
• scientific article; zbMATH DE number 1735914 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Algebras for Galois-style connections and their discrete duality
• Boolean Algebras with Operators
• Duality via Truth: Semantic frameworks for lattice-based logics
• Relational Methods in Computer Science
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Temporal algebra
• The Theory of Representation for Boolean Algebras

Cited in

(7)

• Algebraic structure of the families of compatible frames of discernment
• The properties of residuated connections and Alexandrov topologies
• Guttman algebras and a model checking procedure for Guttman scales
• Propositional Logic for Ground Semigroups of Context
• Algebras for Galois-style connections and their discrete duality
• Algorithmic correspondence and canonicity for non-distributive logics
• Residuated connections induced by residuated frames

This page was built for publication: Context Algebras, Context Frames, and Their Discrete Duality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505447)