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

attribute dependencycontext algebradiscrete dualityduality via truthformal concept analysisrepresentation theorem

Mathematics Subject Classification ID

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

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

• Algebras for Galois-style connections and their discrete duality
• Boolean Algebras with Operators
• Duality via Truth: Semantic frameworks for lattice-based logics
• 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?)
• 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)

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

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)