Duality for lattice-ordered algebras and for normal algebraizable logics

DOI10.1023/A:1004982417404MaRDI QIDQ1368914zbMATH OpenOpenAlexFDO

Authors Chrysafis Hartonas

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

zbMATH Keywords

dualityalgebraic semanticslattice-ordered algebrastopological representationKripke-style semanticscanonical frames

Mathematics Subject Classification ID

Ordered rings, algebras, modules (06F25) Representation theory of lattices (06B15) Algebraic logic (03G99)

Recommendations

• A Duality for Algebras of Lattice-Valued Modal Logic
• Duality for algebras of relevant logics
• Lattice-theoretic properties of algebras of logic
• On an algebra of lattice-valued logic
• Natural duality as a tool to study algebras arising from logics
• scientific article; zbMATH DE number 2114093
• Dualities for structures of applied logics
• scientific article; zbMATH DE number 5080590
• Equivalential and algebraizable logics
• Dualities for algebras of Fitting's many-valued modal logics

Cited in

(36)

• A Duality for Algebras of Lattice-Valued Modal Logic
• Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices
• A ``reply to my ``critics
• Order-duality, negation and lattice representation
• Natural duality as a tool to study algebras arising from logics
• Representations and dualities for bounded lattices
• Canonical extensions and Kripke-Galois semantics for non-distributive logics
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• Representation theorems for lattice-ordered modal algebras and their axiomatic extensions
• Proper semantics for substructural logics, from a stalker theoretic point of view
• Duality for modal \(\mu\)-logics
• Bounded lattice expansions
• The distributivity on bi-approximation semantics
• A duality between algebras of basic logic and bounded representable \(\text{DR}l\)-monoids
• Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality
• Disjunction and negation in information based semantics
• Dualities for algebras of Fitting's many-valued modal logics
• Choice-free topological duality for implicative lattices and Heyting algebras
• A duality for two-sorted lattices
• Representation of lattices with modal operators in two-sorted frames
• Modal translation of substructural logics
• Topological duality and lattice expansions. I: A topological construction of canonical extensions.
• A Sahlqvist theorem for substructural logic
• Duality for normal lattice expansions and sorted residuated frames with relations
• Duality via Truth: Semantic frameworks for lattice-based logics
• scientific article; zbMATH DE number 1775483 (Why is no real title available?)
• B-frame duality
• Generalizations of Boolean products for lattice-ordered algebras
• Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
• Duality results for (co)residuated lattices
• Choice-free dualities for lattice expansions: application to logics with a negation operator
• First-order frames for orthomodular quantum logic
• Categorically-algebraic dualities
• Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators

This page was built for publication: Duality for lattice-ordered algebras and for normal algebraizable logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1368914)