The following pages link to (Q4716293):
Displaying 25 items.
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion (Q347368) (← links)
- Realism, rhetoric, and reliability (Q516309) (← links)
- On the hierarchy of d-structures (Q523153) (← links)
- Fundamental results for pointfree convex geometry (Q636383) (← links)
- Characterizing right inverses for spatial constraint systems with applications to modal logic (Q1786563) (← links)
- Logic, topology, and integration (Q1893128) (← links)
- Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic (Q2035639) (← links)
- Reasoning about distributed information with infinitely many agents (Q2043805) (← links)
- Chu duality theory and coalgebraic representation of quantum symmetries (Q2125156) (← links)
- Vagueness, Kant and topology: a study of formal epistemology (Q2481249) (← links)
- Deriving Inverse Operators for Modal Logic (Q3179402) (← links)
- Why Categories? (Q3296105) (← links)
- The Topology of Statistical Verifiability (Q3384072) (← links)
- (Q3699689) (← links)
- (Q3994458) (← links)
- Making Sense of Sense Containment (Q4608203) (← links)
- (Q4819375) (← links)
- (Q5015385) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- Topological duality via maximal spectrum functor (Q5112780) (← links)
- On the expressiveness of spatial constraint systems (Q5240218) (← links)
- Ordered locales (Q6117885) (← links)
- The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions (Q6156417) (← links)
- Formalising basic topology for computational logic in simple type theory (Q6159367) (← links)
- Some further results on pointfree convex geometry (Q6193270) (← links)
