Duality for lattice-ordered algebras and for normal algebraizable logics
From MaRDI portal
Publication:1368914
DOI10.1023/A:1004982417404zbMath0886.06002OpenAlexW1519705629MaRDI QIDQ1368914
Publication date: 10 May 1998
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1004982417404
dualitytopological representationalgebraic semanticslattice-ordered algebrasKripke-style semanticscanonical frames
Representation theory of lattices (06B15) Algebraic logic (03G99) Ordered rings, algebras, modules (06F25)
Related Items
Canonical extensions and Kripke-Galois semantics for non-distributive logics, The distributivity on bi-approximation semantics, Disjunction and negation in information based semantics, Duality for modal \(\mu\)-logics, First-order frames for orthomodular quantum logic, Duality results for (co)residuated lattices, Duality for normal lattice expansions and sorted residuated frames with relations, Proper semantics for substructural logics, from a stalker theoretic point of view, Choice-free topological duality for implicative lattices and Heyting algebras, B-frame duality, Order-dual relational semantics for non-distributive propositional logics: a general framework, Unnamed Item, Lattice logic as a fragment of (2-sorted) residuated modal logic, Topological duality and lattice expansions. I: A topological construction of canonical extensions., Topological duality and lattice expansions. II: Lattice expansions with quasioperators., Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators, A “Reply” to My “Critics”, Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices, Bounded lattice expansions, A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC, Modal translation of substructural logics