On the public citation graph

The preservation of Sahlqvist equations in completions of Boolean algebras with operators

https://doi.org/10.1007/s000120050100
0 signed · 37 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.1002/mana.19700460105openalex-snapshot
Completions of B OOLEAN Algebras with operators
inferredcites →https://doi.org/10.1007/bf01057646openalex-snapshot
On the canonicity of Sahlqvist identities
inferredcites →https://doi.org/10.1007/s000120050047openalex-snapshot
Atom structures and Sahlqvist equations
inferredcites →https://doi.org/10.2307/2274537openalex-snapshot
Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part II. Studies in logic and the foundations of mathematics, vol. 115. North-Holland, Amsterdam, New York, and Oxford, 1985, ix + 302 pp.
inferredcites →https://doi.org/10.2307/2275109openalex-snapshot
Derivation rules as anti-axioms in modal logic
inferredcites →https://doi.org/10.2307/2372074openalex-snapshot
Boolean Algebras with Operators

What points at this work

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

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-540-77664-2_18openalex-snapshot
Completions of Ordered Algebraic Structures: A Survey
inferred← citeshttps://doi.org/10.1007/s00012-007-2033-1openalex-snapshot
MacNeille completions of lattice expansions
inferred← citeshttps://doi.org/10.1007/s00012-010-0060-9openalex-snapshot
Completion and finite embeddability property for residuated ordered algebras.
inferred← citeshttps://doi.org/10.1007/s00012-012-0196-xopenalex-snapshot
Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators
inferred← citeshttps://doi.org/10.1007/s00012-025-00890-yopenalex-snapshot
On the structure of modal and tense operators on a boolean algebra
inferred← citeshttps://doi.org/10.1007/s10992-012-9266-yopenalex-snapshot
Modes of Adjointness
inferred← citeshttps://doi.org/10.1007/s11225-012-9388-9openalex-snapshot
Sahlqvist Correspondence for Modal mu-calculus
inferred← citeshttps://doi.org/10.1007/s11225-012-9396-9openalex-snapshot
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics
inferred← citeshttps://doi.org/10.1007/s11225-021-09941-6openalex-snapshot
Hyper-MacNeille Completions of Heyting Algebras
inferred← citeshttps://doi.org/10.1016/j.apal.2003.11.009openalex-snapshot
Boolean algebras arising from information systems
inferred← citeshttps://doi.org/10.1016/j.apal.2004.04.007openalex-snapshot
A Sahlqvist theorem for distributive modal logic
inferred← citeshttps://doi.org/10.1016/j.fss.2012.11.008openalex-snapshot
Modal MTL-algebras
inferred← citeshttps://doi.org/10.1016/s0049-237x(02)80051-9openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80009-7openalex-snapshot
6 Algebras and coalgebras
inferred← citeshttps://doi.org/10.1016/s1570-8683(03)00008-9openalex-snapshot
Mathematical modal logic: A view of its evolution
inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80027-0openalex-snapshot
Mathematical modal logic: A view of its evolution
inferred← citeshttps://doi.org/10.1017/jsl.2016.11openalex-snapshot
STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES
inferred← citeshttps://doi.org/10.1023/a:1012491022267openalex-snapshot
Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators
inferred← citeshttps://doi.org/10.1023/a:1021368713305openalex-snapshot
Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic
inferred← citeshttps://doi.org/10.1090/s0002-9947-05-03816-xopenalex-snapshot
MacNeille completions and canonical extensions
inferred← citeshttps://doi.org/10.1093/jigpal/jzp088openalex-snapshot
Preservation theorems for MTL-chains
inferred← citeshttps://doi.org/10.1093/jigpal/jzv018openalex-snapshot
Meet-completions and ordered domain algebras
inferred← citeshttps://doi.org/10.1093/logcom/exq029openalex-snapshot
Cover semantics for quantified lax logic
inferred← citeshttps://doi.org/10.1093/logcom/exs030openalex-snapshot
Modal compact Hausdorff spaces
inferred← citeshttps://doi.org/10.1093/logcom/exv045openalex-snapshot
On Sahlqvist theory for hybrid logics
inferred← citeshttps://doi.org/10.1305/ndjfl/1168352661openalex-snapshot
Hybrid Formulas and Elementarily Generated Modal Logics
inferred← citeshttps://doi.org/10.25560/27689openalex-snapshot
Completeness-via-canonicity in coalgebraic logics
inferred← citeshttps://doi.org/10.26686/ajl.v22i2.5680openalex-snapshot
Possibility Frames and Forcing for Modal Logic
inferred← citeshttps://doi.org/10.3233/fun-2007-81402openalex-snapshot
Tense Operators on MV-Algebras and Łukasiewicz-Moisil Algebras
inferred← citeshttps://doi.org/10.48550/arxiv.1304.0619openalex-snapshot
On complete representability of Pinter's algebras and related structures
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.