Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic

DOI10.1007/s10472-020-09707-1zbMath1465.18005arXiv1808.06464OpenAlexW3088799034MaRDI QIDQ2035639

Litan Kumar Das, Kumar Sankar Ray

Publication date: 25 June 2021

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1808.06464

zbMATH Keywords

zero-dimensional spacemodal logicBoolean algebraframefilterHeyting algebralattice-valued logicBoolean spaceHausdorff spacetopological systemrelational systemBoolean systemuniversal arrow

Mathematics Subject Classification ID

Lattices and duality (06D50) Frames, locales (06D22) Stone spaces (Boolean spaces) and related structures (06E15) Special categories (18B99) Many-valued logic (03B50) Natural dualities for classes of algebras (08C20) Frames and locales, pointfree topology, Stone duality (18F70)

Related Items

Bitopological duality for algebras of Fitting's logic and natural duality extension

Cites Work

• Interweaving algebra and topology: lattice-valued topological systems
• Categorical foundations of variety-based topology and topological systems
• A duality for Boolean algebras with operators
• Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory
• Variable-basis topological systems versus variable-basis topological spaces
• Tableaus for many-valued modal logic
• Localification of variable-basis topological systems
• Dualities for Algebras of Fitting's Many-Valued Modal Logics
• Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
• A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes
• Frame constructions, truth invariance and validity preservation in many-valued modal logic
• Functorial relationships between lattice-valued topology and topological systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item