On the public citation graph

A topological representation theory for lattices

0 signed · 146 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-0348-7633-9openalex-snapshot

General Lattice Theory

inferredcites →https://doi.org/10.1016/0097-3165(72)90003-9openalex-snapshot

Problems of associativity: A simple proof for the lattice property of systems ordered by a semi-associative law

inferredcites →https://doi.org/10.1016/0097-3165(75)90019-9openalex-snapshot

Certain partially ordered sets of dimension three

inferredcites →https://doi.org/10.1016/s0021-9800(67)80024-3openalex-snapshot

Problèmes d'associativité: Une structure de treillis finis induite par une loi demi-associative

inferredcites →https://doi.org/10.1090/s0002-9947-1937-1501905-7openalex-snapshot

Applications of the theory of Boolean rings to general topology

inferredcites →https://doi.org/10.1090/s0002-9947-1972-0313141-1openalex-snapshot

Equational Bases and Nonmodular Lattice Varieties

inferredcites →https://doi.org/10.1090/s0002-9947-1975-0360386-3openalex-snapshot

The Factorization and Representation of Lattices

inferredcites →https://doi.org/10.1112/blms/2.2.186openalex-snapshot

Representation of Distributive Lattices by means of ordered Stone Spaces

inferredcites →https://doi.org/10.1112/plms/s3-24.3.507openalex-snapshot

Ordered Topological Spaces and the Representation of Distributive Lattices

inferredcites →https://doi.org/10.21136/cpmf.1938.124080openalex-snapshot

Topological representations of distributive lattices and Brouwerian logics

inferredcites →https://doi.org/10.2307/2318190openalex-snapshot

Lattice Theory: First Concepts and Distributive Lattices.

inferredcites →https://doi.org/10.4153/cjm-1949-033-6openalex-snapshot

Graphs of Degree Three with a Given Abstract Group

inferredcites →https://doi.org/10.4153/cjm-1950-039-5openalex-snapshot

Lattices With a Given Abstract Group of Automorphisms

inferredcites →https://doi.org/10.4153/cjm-1979-008-xopenalex-snapshot

Characterizations of Finite Lattices that are Bounded-Homomqrphic Images or Sublattices of Free Lattices

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1006/aama.1999.0661openalex-snapshot

The Strong Independence Theorem for Automorphism Groups and Congruence Lattices of Arbitrary Lattices

inferred← citeshttps://doi.org/10.1006/jabr.2000.8622openalex-snapshot

Bounded Lattice Expansions

inferred← citeshttps://doi.org/10.1006/jsco.1994.1035openalex-snapshot

A Multipurpose Backtracking Algorithm

inferred← citeshttps://doi.org/10.1007/0-8176-4462-8openalex-snapshot

The Congruences of a Finite Lattice: A "Proof-by-Picture" Approach

inferred← citeshttps://doi.org/10.1007/11734673_11openalex-snapshot

Relational Correspondences for Lattices with Operators

inferred← citeshttps://doi.org/10.1007/11734673_14openalex-snapshot

Lattice-Based Paraconsistent Logic

inferred← citeshttps://doi.org/10.1007/11734673_17openalex-snapshot

Relational Representability for Algebras of Substructural Logics

inferred← citeshttps://doi.org/10.1007/11828563_11openalex-snapshot

Relational Representation Theorems for General Lattices with Negations

inferred← citeshttps://doi.org/10.1007/11964810_12openalex-snapshot

Relational Representation Theorems for Lattices with Negations: A Survey

inferred← citeshttps://doi.org/10.1007/11964810_13openalex-snapshot

Lattice-Based Relation Algebras II

inferred← citeshttps://doi.org/10.1007/978-0-387-69245-6_6openalex-snapshot

Region-Based Theory of Space: Algebras of Regions, Representation Theory, and Logics

inferred← citeshttps://doi.org/10.1007/978-1-4020-1898-5_15openalex-snapshot

Dyadic Mathematics — Abstractions from Logical Thought

inferred← citeshttps://doi.org/10.1007/978-1-4612-4108-9_6openalex-snapshot

Unities and Negation

inferred← citeshttps://doi.org/10.1007/978-3-030-38565-1_11openalex-snapshot

Duality via Truth for Some Fuzzy Modal Logic

inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_1openalex-snapshot

A Logical Autobiography

inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_11openalex-snapshot

Modal Logics of Some Hereditarily Irresolvable Spaces

inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_12openalex-snapshot

St. Alasdair on Lattices Everywhere

inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_13openalex-snapshot

Application of Urquhart’s Representation of Lattices to Some Non–classical Logics

inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_16openalex-snapshot

Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality

inferred← citeshttps://doi.org/10.1007/978-3-030-76920-8_4openalex-snapshot

Topological Duality and Algebraic Completions

inferred← citeshttps://doi.org/10.1007/978-3-319-07248-7_20openalex-snapshot

Subdirect Decomposition of Concept Lattices

inferred← citeshttps://doi.org/10.1007/978-3-319-29300-4_14openalex-snapshot

Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators

inferred← citeshttps://doi.org/10.1007/978-3-319-38798-7_12openalex-snapshot

Modular Lattices

inferred← citeshttps://doi.org/10.1007/978-3-319-38798-7_17openalex-snapshot

The Congruence Lattice and the Automorphism Group

inferred← citeshttps://doi.org/10.1007/978-3-540-24615-2_11openalex-snapshot

Lattice–Based Relation Algebras and Their Representability

inferred← citeshttps://doi.org/10.1007/978-3-540-73451-2_7openalex-snapshot

Discrete Duality and Its Applications to Reasoning with Incomplete Information

inferred← citeshttps://doi.org/10.1007/978-3-540-77664-2_18openalex-snapshot

Completions of Ordered Algebraic Structures: A Survey

inferred← citeshttps://doi.org/10.1007/978-3-540-78921-5_3openalex-snapshot

Formal Concept Analysis as Applied Lattice Theory

inferred← citeshttps://doi.org/10.1007/978-3-642-11928-6_5openalex-snapshot

Formal Concept Analysis of Two-Dimensional Convex Continuum Structures

inferred← citeshttps://doi.org/10.1007/978-3-642-29892-9_17openalex-snapshot

A Connection between Clone Theory and FCA Provided by Duality Theory

inferred← citeshttps://doi.org/10.1007/978-3-662-60292-8_7openalex-snapshot

A Discrete Representation of Lattice Frames

inferred← citeshttps://doi.org/10.1007/978-3-7908-1769-0_3openalex-snapshot

Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving

inferred← citeshttps://doi.org/10.1007/978-94-009-7798-3_2openalex-snapshot

Exponentiation and Duality

inferred← citeshttps://doi.org/10.1007/978-94-010-1220-1_6openalex-snapshot

Aspects of Finite Lattices

inferred← citeshttps://doi.org/10.1007/978-94-015-9309-0_2openalex-snapshot

A Comparative Study of Various Model-Theoretic Treatments of Negation: A History of Formal Negation

inferred← citeshttps://doi.org/10.1007/978-94-017-1201-9_2openalex-snapshot

Algebraic Aspects of Orthomodular Lattices

inferred← citeshttps://doi.org/10.1007/bf00051643openalex-snapshot

Congruence lattices of planar lattices

inferred← citeshttps://doi.org/10.1007/bf00383945openalex-snapshot

Cover-preserving order embeddings into Boolean lattices

inferred← citeshttps://doi.org/10.1007/bf00383950openalex-snapshot

Primes, irreducibles and extremal lattices

inferred← citeshttps://doi.org/10.1007/bf01061239openalex-snapshot

Positive modal logic

inferred← citeshttps://doi.org/10.1007/bf01190610openalex-snapshot

A topological representation of lattices

inferred← citeshttps://doi.org/10.1007/bf01194512openalex-snapshot

A duality for Boolean algebras with operators

inferred← citeshttps://doi.org/10.1007/bf01194537openalex-snapshot

Subdirect decomposition of concept lattices

inferred← citeshttps://doi.org/10.1007/bf02483117openalex-snapshot

General Lattice Theory: 1979 Problem Update

inferred← citeshttps://doi.org/10.1007/s00012-001-8155-yopenalex-snapshot

A survey of tensor products and related constructions in two lectures

inferred← citeshttps://doi.org/10.1007/s00012-004-1881-1openalex-snapshot

Finite lattices and congruences. A survey

inferred← citeshttps://doi.org/10.1007/s00012-008-2104-yopenalex-snapshot

Formal concept analysis of one-dimensional continuum structures

inferred← citeshttps://doi.org/10.1007/s00012-010-0073-4openalex-snapshot

Derived semidistributive lattices

inferred← citeshttps://doi.org/10.1007/s00012-014-0267-2openalex-snapshot

Topological duality and lattice expansions, I: A topological construction of canonical extensions

inferred← citeshttps://doi.org/10.1007/s00012-015-0335-2openalex-snapshot

TiRS graphs and TiRS frames: a new setting for duals of canonical extensions

inferred← citeshttps://doi.org/10.1007/s00012-016-0389-9openalex-snapshot

A topological duality for posets

inferred← citeshttps://doi.org/10.1007/s00012-018-0498-8openalex-snapshot

Characterizing fully principal congruence representable distributive lattices

inferred← citeshttps://doi.org/10.1007/s00012-018-0562-4openalex-snapshot

Canonical extensions and ultraproducts of polarities

inferred← citeshttps://doi.org/10.1007/s00012-021-00711-yopenalex-snapshot

Three roads to complete lattices: orders, compatibility, polarity

inferred← citeshttps://doi.org/10.1007/s00012-022-00769-2openalex-snapshot

Canonical extensions of lattices are more than perfect

inferred← citeshttps://doi.org/10.1007/s00012-023-00802-yopenalex-snapshot

Duality for normal lattice expansions and sorted residuated frames with relations

inferred← citeshttps://doi.org/10.1007/s00012-023-00811-xopenalex-snapshot

Topological representation of double Boolean algebras

inferred← citeshttps://doi.org/10.1007/s00012-025-00907-6openalex-snapshot

The Priestley duality for $$\prec $$-distributive $$\vee $$-predomains

inferred← citeshttps://doi.org/10.1007/s000120050127openalex-snapshot

On the dependence of related structures of lattices

inferred← citeshttps://doi.org/10.1007/s10474-014-0421-5openalex-snapshot

Generalized Topological Representation for Complete Join-Semilattices

inferred← citeshttps://doi.org/10.1007/s10485-012-9287-2openalex-snapshot

A Fresh Perspective on Canonical Extensions for Bounded Lattices

inferred← citeshttps://doi.org/10.1007/s10485-020-09600-2openalex-snapshot

A Categorical Duality for Semilattices and Lattices

inferred← citeshttps://doi.org/10.1007/s10992-015-9346-xopenalex-snapshot

Current Trends in Substructural Logics

inferred← citeshttps://doi.org/10.1007/s10992-016-9417-7openalex-snapshot

Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework

inferred← citeshttps://doi.org/10.1007/s11083-011-9226-0openalex-snapshot

Delta(1)-completions of a poset

inferred← citeshttps://doi.org/10.1007/s11083-013-9296-2openalex-snapshot

Canonical Extensions and Profinite Completions of Semilattices and Lattices

inferred← citeshttps://doi.org/10.1007/s11083-013-9311-7openalex-snapshot

Distributive Envelopes and Topological Duality for Lattices via Canonical Extensions

inferred← citeshttps://doi.org/10.1007/s11083-026-09739-yopenalex-snapshot

A Stone-type Topological Duality for Posets

inferred← citeshttps://doi.org/10.1007/s11225-024-10107-3openalex-snapshot

A Model Theory of Topology

inferred← citeshttps://doi.org/10.1007/s11225-024-10131-3openalex-snapshot

Choice-Free Dualities for Lattice Expansions: Application to Logics with a Negation Operator

inferred← citeshttps://doi.org/10.1007/s11787-018-0195-6openalex-snapshot

Canonical Extensions and Kripke–Galois Semantics for Non-distributive Logics

inferred← citeshttps://doi.org/10.1007/s11787-018-0217-4openalex-snapshot

Duality Results for (Co)Residuated Lattices

inferred← citeshttps://doi.org/10.1016/0012-365x(94)90019-1openalex-snapshot

On Tamari lattices

inferred← citeshttps://doi.org/10.1016/0022-4049(82)90001-9openalex-snapshot

Unities and negation: on the representation of finite lattices

inferred← citeshttps://doi.org/10.1016/b978-044451541-4/50022-1openalex-snapshot

Relevance Logics

inferred← citeshttps://doi.org/10.1016/j.aam.2013.03.003openalex-snapshot

Sublattices of associahedra and permutohedra

inferred← citeshttps://doi.org/10.1016/j.aam.2015.06.001openalex-snapshot

The m-cover posets and their applications

inferred← citeshttps://doi.org/10.1016/j.apal.2023.103245openalex-snapshot

B-frame duality

inferred← citeshttps://doi.org/10.1016/j.apal.2023.103374openalex-snapshot

Positive modal logic beyond distributivity

inferred← citeshttps://doi.org/10.1016/j.dam.2017.12.016openalex-snapshot

Locally complete consistent F-augmented contexts: A category-theoretic representation of algebraic L-domains

inferred← citeshttps://doi.org/10.1016/j.fss.2007.12.009openalex-snapshot

Representation theorems for some fuzzy logics based on residuated non-distributive lattices

inferred← citeshttps://doi.org/10.1016/j.fss.2023.108702openalex-snapshot

Fuzzy concept lattices induced by doubly distance spaces

inferred← citeshttps://doi.org/10.1016/j.ijar.2019.08.007openalex-snapshot

A representation of continuous domains via relationally approximable concepts in a generalized framework of formal concept analysis

inferred← citeshttps://doi.org/10.1016/j.indag.2019.01.001openalex-snapshot

A semantic hierarchy for intuitionistic logic

inferred← citeshttps://doi.org/10.1016/j.topol.2011.09.040openalex-snapshot

Duality and canonical extensions for stably compact spaces

inferred← citeshttps://doi.org/10.1016/s0049-237x(07)80016-4openalex-snapshot

Semisimplicity

inferred← citeshttps://doi.org/10.1016/s0049-237x(13)70005-3openalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1016/s0304-0208(08)73814-3openalex-snapshot

Ordered Sets and Duality for Distributive Lattices

inferred← citeshttps://doi.org/10.1016/s0304-3975(98)00276-xopenalex-snapshot

Some combinatorial aspects of congruence lattice representations

inferred← citeshttps://doi.org/10.1017/jsl.2019.22openalex-snapshot

KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS

inferred← citeshttps://doi.org/10.1023/a:1004982417404openalex-snapshot

Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics

inferred← citeshttps://doi.org/10.1023/a:1012495106338openalex-snapshot

A Kripke Semantics for the Logic of Gelfand Quantales

inferred← citeshttps://doi.org/10.1080/00207169608804497openalex-snapshot

The number of coverings in four catalan lattices

inferred← citeshttps://doi.org/10.1080/11663081.2018.1547515openalex-snapshot

Lattice logic as a fragment of (2-sorted) residuated modal logic

inferred← citeshttps://doi.org/10.1093/jigpal/jzv051openalex-snapshot

Modal and temporal extensions of non-distributive propositional logics

inferred← citeshttps://doi.org/10.1093/jigpal/jzw057openalex-snapshot

Order-dual relational semantics for non-distributive propositional logics

inferred← citeshttps://doi.org/10.1093/jigpal/jzy010openalex-snapshot

Stone duality for lattice expansions

inferred← citeshttps://doi.org/10.1093/jigpal/jzy079openalex-snapshot

Game-theoretic semantics for non-distributive logics

inferred← citeshttps://doi.org/10.1093/logcom/exad003openalex-snapshot

Non-distributive positive logic as a fragment of first-order logic over semilattices

inferred← citeshttps://doi.org/10.1093/logcom/exy030openalex-snapshot

Discrete duality for lattices with modal operators

inferred← citeshttps://doi.org/10.1109/icpr.2014.233openalex-snapshot

An Algebraic Approach to Ensemble Clustering

inferred← citeshttps://doi.org/10.1109/ismvl.2001.924564openalex-snapshot

Representation theorems and the semantics of (semi)lattice-based logics

inferred← citeshttps://doi.org/10.1109/ismvl.2007.10openalex-snapshot

Automated Reasoning in Some Local Extensions of Ordered Structures

inferred← citeshttps://doi.org/10.1215/00294527-2008-025openalex-snapshot

Dual Gaggle Semantics for Entailment

inferred← citeshttps://doi.org/10.1305/ndjfl/1063372199openalex-snapshot

Four-valued Logic

inferred← citeshttps://doi.org/10.1305/ndjfl/1134397663openalex-snapshot

Relational Semantics for Kleene Logic and Action Logic

inferred← citeshttps://doi.org/10.14232/actasm-015-817-8openalex-snapshot

An independence theorem for ordered sets of principal congruences and automorphism groups of bounded lattices

inferred← citeshttps://doi.org/10.14232/actasm-018-538-yopenalex-snapshot

On principal congruences and the number of congruences of a lattice with more ideals than filters

inferred← citeshttps://doi.org/10.1556/sscmath.40.2003.1-2.1openalex-snapshot

On the independence theorem of related structures for modular (arguesian) lattices

inferred← citeshttps://doi.org/10.21136/mb.2018.0126-17openalex-snapshot

A relational semantics for the logic of bounded lattices

inferred← citeshttps://doi.org/10.2307/2275217openalex-snapshot

Kripke models for linear logic

inferred← citeshttps://doi.org/10.2307/420949openalex-snapshot

1994 Annual Meeting of the Association for Symbolic Logic

inferred← citeshttps://doi.org/10.2307/421217openalex-snapshot

Australasian Association for Logic 1999 Annual Conference Co-Sponsored by The Association for Symbolic Logic

inferred← citeshttps://doi.org/10.24193/subbmath.2019.1.02openalex-snapshot

A topological representation of double Boolean lattices

inferred← citeshttps://doi.org/10.2478/s12175-014-0278-7openalex-snapshot

Reconciliation of approaches to the construction of canonical extensions of bounded lattices

inferred← citeshttps://doi.org/10.3166/jancl.18.79-125openalex-snapshot

Autoreferential semantics for many-valued modal logics

inferred← citeshttps://doi.org/10.3233/fi-2016-1327openalex-snapshot

Representation Theorems for Lattice-ordered Modal Algebras and their Axiomatic Extensions

inferred← citeshttps://doi.org/10.3233/fi-2017-1609openalex-snapshot

A Discrete Representation for Dicomplemented Lattices

inferred← citeshttps://doi.org/10.3233/fi-2017-1611openalex-snapshot

Duality for Quasilattices and Galois Connections

inferred← citeshttps://doi.org/10.3390/logics1010004openalex-snapshot

A Fundamental Non-Classical Logic

inferred← citeshttps://doi.org/10.3390/logics3010001openalex-snapshot

A Van Benthem Characterization Result for Distribution-Free Logics

inferred← citeshttps://doi.org/10.3390/logics3020003openalex-snapshot

Distribution-Free Normal Modal Logics

inferred← citeshttps://doi.org/10.3390/logics3030010openalex-snapshot

Distribution-Free Modal Logics: Sahlqvist–Van Benthem Correspondence

inferred← citeshttps://doi.org/10.4018/978-1-61692-868-1.ch001openalex-snapshot

Region-Based Theories of Space

inferred← citeshttps://doi.org/10.48550/arxiv.1103.3488openalex-snapshot

Sublattices of associahedra and permutohedra

inferred← citeshttps://doi.org/10.48550/arxiv.1902.09783openalex-snapshot

Morphisms and Duality for Polarities and Lattices with Operators

inferred← citeshttps://doi.org/10.48550/arxiv.2002.04257openalex-snapshot

Non-distributive logics: from semantics to meaning

inferred← citeshttps://doi.org/10.48550/arxiv.2110.00562openalex-snapshot

Computational Complexity of Deciding Provability in Linear Logic and its Fragments

inferred← citeshttps://doi.org/10.48550/arxiv.math/0001148openalex-snapshot

Topological Representations of Posets

inferred← citeshttps://doi.org/10.48550/arxiv.math/0303005openalex-snapshot

A Note on the Set-Theoretic Representation of Arbitrary Lattices

inferred← citeshttps://doi.org/10.56754/0719-0646.2403.0369openalex-snapshot

Dual digraphs of finite semidistributive lattices

inferred← citeshttps://doi.org/10.70930/tac/hg8zc6yjopenalex-snapshot

Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.