Natural duality, modality, and coalgebra

DOI10.1016/j.jpaa.2011.07.002zbMath1263.08002OpenAlexW2005940123MaRDI QIDQ418910

Yoshihiro Maruyama

Publication date: 30 May 2012

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2011.07.002

zbMATH Keywords

natural dualityKripke framescoalgebraic dualityenriched Stone spacemodal latticemodal operatorsemi-primal algebratopological duality

Mathematics Subject Classification ID

Lattices and duality (06D50) Other algebras related to logic (03G25) Special categories (18B99) Natural dualities for classes of algebras (08C20)

Related Items (4)

Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory ⋮ New perspectives on semi-primal varieties ⋮ Bitopological duality for algebras of Fitting's logic and natural duality extension ⋮ FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION

Cites Work

• A duality for Boolean algebras with operators
• Fundamental results for pointfree convex geometry
• Stone coalgebras
• Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory
• From the subalgebras of the square to the discriminator
• Metamathematics of fuzzy logic
• Extending Stone duality to multisets and locally finite MV-algebras.
• Enriched logical connections
• A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system
• The ternary discriminator function in universal algebra
• Dualisability. Unary algebras and beyond
• A Cook's Tour of the Finitary Non-Well-Founded Sets
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Dualities for Algebras of Fitting's Many-Valued Modal Logics
• Ordered Topological Spaces and the Representation of Distributive Lattices
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• The representation of Boolean algebras
• Topologies on Spaces of Subsets
• Boolean Algebras with Operators. Part I
• Natural dualities for varieties of MV-algebras. I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Natural duality, modality, and coalgebra