Pages that link to "Item:Q1914371"
From MaRDI portal
The following pages link to Bi-Heyting algebras, toposes and modalities (Q1914371):
Displaying 25 items.
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- On the mereological structure of complex states of affairs (Q383031) (← links)
- Heyting mereology as a framework for spatial reasoning (Q482328) (← links)
- Modality and contextuality in topos quantum theory (Q514503) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- Expanding \(\text{FL}_{ew}\) with a Boolean connective (Q1699735) (← links)
- Symmetric Heyting relation algebras with applications to hypergraphs (Q2347914) (← links)
- Algebras of incidence structures: representations of regular double p-algebras (Q2520767) (← links)
- Modes, modals, and barycentric algebras: a brief survey and an additivity theorem (Q3099661) (← links)
- Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory (Q3299869) (← links)
- Rough Sets - Past, Present and Future: Some Notes (Q3300353) (← links)
- (Q4285618) (← links)
- (Q4311229) (← links)
- An algebraic approach to intuitionistic connectives (Q4328824) (← links)
- Some Operators in Kripke Models with an Involution (Q4443422) (← links)
- Modulated fibring and the collapsing problem (Q4451732) (← links)
- (Q4580233) (← links)
- The Evil Twin: The Basics of Complement-Toposes (Q5241534) (← links)
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)
- From (Paraconsistent) Topos Logic to Universal (Topos) Logic (Q5350337) (← links)
- Cardinal spaces and topological representations of bimodal logics (Q5697718) (← links)
- Quantum geometry of Boolean algebras and de Morgan duality (Q6039636) (← links)
- Morpho-logic from a topos perspective -- application to symbolic AI (Q6178744) (← links)
- Bi-intermediate logics of trees and co-trees (Q6584961) (← links)
