Bi-Heyting algebras, toposes and modalities
From MaRDI portal
Publication:1914371
DOI10.1007/BF00357841zbMath0851.03022OpenAlexW1964901710WikidataQ115443702 ScholiaQ115443702MaRDI QIDQ1914371
Gonzalo E. Reyes, Houman Zolfaghari
Publication date: 4 November 1996
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00357841
Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Categorical logic, topoi (03G30)
Related Items
A bi-intuitionistic modal logic: foundations and automation ⋮ Completeness results for intuitionistic and modal logic in a categorical setting ⋮ On the mereological structure of complex states of affairs ⋮ Quantum geometry of Boolean algebras and de Morgan duality ⋮ From (Paraconsistent) Topos Logic to Universal (Topos) Logic ⋮ An algebraic approach to intuitionistic connectives ⋮ Morpho-logic from a topos perspective -- application to symbolic AI ⋮ Expanding \(\text{FL}_{ew}\) with a Boolean connective ⋮ Heyting mereology as a framework for spatial reasoning ⋮ Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory ⋮ Rough Sets - Past, Present and Future: Some Notes ⋮ Modality and contextuality in topos quantum theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Algebras of incidence structures: representations of regular double p-algebras ⋮ Some Operators in Kripke Models with an Involution ⋮ Unnamed Item ⋮ Modulated fibring and the collapsing problem ⋮ The Evil Twin: The Basics of Complement-Toposes ⋮ Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory ⋮ Symmetric Heyting relation algebras with applications to hypergraphs
Cites Work