Pages that link to "Item:Q1247989"
From MaRDI portal
The following pages link to A topological representation theory for lattices (Q1247989):
Displaying 50 items.
- Current trends in substructural logics (Q266641) (← links)
- Sublattices of associahedra and permutohedra (Q394816) (← links)
- A fresh perspective on canonical extensions for bounded lattices. (Q395673) (← links)
- Generalized topological representation for complete join-semilattices (Q397032) (← links)
- Distributive envelopes and topological duality for lattices via canonical extensions. (Q466890) (← links)
- The \(m\)-cover posets and their applications (Q492702) (← links)
- TiRS graphs and TiRS frames: a new setting for duals of canonical extensions (Q494628) (← links)
- A duality for Boolean algebras with operators (Q585240) (← links)
- Derived semidistributive lattices (Q607453) (← links)
- Duality and canonical extensions for stably compact spaces (Q649839) (← links)
- Subdirect decomposition of concept lattices (Q793764) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Representation theorems for some fuzzy logics based on residuated non-distributive lattices (Q835128) (← links)
- General lattice theory: 1979 problem update (Q1149456) (← links)
- Unities and negation: On the representation of finite lattices (Q1171077) (← links)
- A topological representation of lattices (Q1193504) (← links)
- Congruence lattices of planar lattices (Q1207370) (← links)
- Cover-preserving order embeddings into Boolean lattices (Q1207716) (← links)
- Primes, irreducibles and extremal lattices (Q1207723) (← links)
- Some combinatorial aspects of congruence lattice representations (Q1285781) (← links)
- On Tamari lattices (Q1336690) (← links)
- Four-valued logic (Q1422105) (← links)
- The strong independence theorem for automorphism groups and congruence lattices of arbitrary lattices (Q1586920) (← links)
- Canonical extensions and Kripke-Galois semantics for non-distributive logics (Q1632052) (← links)
- Characterizing fully principal congruence representable distributive lattices (Q1646608) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Locally complete consistent F-augmented contexts: a category-theoretic representation of algebraic L-domains (Q1800385) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Positive modal logic (Q1902555) (← links)
- \(\Delta_1\)-completions of a poset. (Q1943702) (← links)
- A categorical duality for semilattices and lattices (Q2024927) (← links)
- Canonical extensions of lattices are more than perfect (Q2120439) (← links)
- A representation of continuous domains via relationally approximable concepts in a generalized framework of formal concept analysis (Q2302786) (← links)
- Duality results for (co)residuated lattices (Q2418015) (← links)
- Topological duality and lattice expansions. I: A topological construction of canonical extensions. (Q2449453) (← links)
- Canonical extensions and profinite completions of semilattices and lattices (Q2510378) (← links)
- A topological duality for posets (Q2520766) (← links)
- Three roads to complete lattices: orders, compatibility, polarity (Q2663187) (← links)
- Duality for normal lattice expansions and sorted residuated frames with relations (Q2682629) (← links)
- B-frame duality (Q2689804) (← links)
- Topological representation of double Boolean algebras (Q2697416) (← links)
- The number of coverings in four catalan lattices (Q2710772) (← links)
- Kripke models for linear logic (Q3138010) (← links)
- Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators (Q3305430) (← links)
- Autoreferential semantics for many-valued modal logics (Q3647288) (← links)
- Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic (Q4508285) (← links)
- 1994 Annual Meeting of the Association for Symbolic Logic (Q4837677) (← links)
- A Logical Autobiography (Q5027230) (← links)
- Modal Logics of Some Hereditarily Irresolvable Spaces (Q5027241) (← links)
