The following pages link to (Q3994458):
Displaying 41 items.
- THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES (Q4959665) (← links)
- THE LOGIC OF INFORMATION IN STATE SPACES (Q5001555) (← links)
- (Q5009708) (← links)
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
- Strong Completeness of S4 for the Real Line (Q5027240) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- A categorical approach to graded fuzzy topological system and fuzzy geometric logic with graded consequence (Q5074366) (← links)
- MODES OF CONVERGENCE TO THE TRUTH: STEPS TOWARD A BETTER EPISTEMOLOGY OF INDUCTION (Q5078810) (← links)
- Logic of plotkin continuous domain (Q5096332) (← links)
- A functorial semantics for observed concurrency (Q5096853) (← links)
- Stone Dualities from Opfibrations (Q5098723) (← links)
- Preorders, Partial Semigroups, and Quantales (Q5098725) (← links)
- CHOICE-FREE STONE DUALITY (Q5107222) (← links)
- The localic compact interval is an Escardó‐Simpson interval object (Q5108135) (← links)
- Generalizing Pure and Impure Iterated Prisoner’s Dilemmas to the Case of Infinite and Infinitesimal Quantities (Q5122313) (← links)
- Neighbourhood systems (Q5156290) (← links)
- Continuous Domains in Formal Concept Analysis* (Q5164859) (← links)
- Computable analysis with applications to dynamic systems (Q5220187) (← links)
- Fixed points with respect to the L-slice homomorphism $\sigma _{a} $ (Q5227074) (← links)
- (Q5228883) (← links)
- A topos formulation of history quantum theory (Q5249565) (← links)
- A Hofmann-Mislove theorem for Bitopological Spaces (Q5262937) (← links)
- Sublocales in formal topology (Q5294021) (← links)
- Group action in topos quantum physics (Q5397779) (← links)
- (Q5487067) (← links)
- Spatiality of countably presentable locales (proved with the Baire category theorem) (Q5740673) (← links)
- (Q5875347) (← links)
- Probabilistic power domains, information systems, and locales (Q5890059) (← links)
- A dynamic logic for learning theory (Q5918210) (← links)
- Cozero bases of frames (Q5928470) (← links)
- The regular-locally compact coreflection of a stably locally compact locale (Q5928473) (← links)
- Quantales, finite observations and strong bisimulation (Q5940918) (← links)
- Full intersection types and topologies in lambda calculus (Q5943119) (← links)
- Sierpinski object for composite affine spaces (Q6081543) (← links)
- Deriving dualities in pointfree topology from Priestley duality (Q6094273) (← links)
- Continuation sheaves in dynamics: sheaf cohomology and bifurcation (Q6155328) (← links)
- Apartness, sharp elements, and the Scott topology of domains (Q6190408) (← links)
- Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions (Q6193733) (← links)
- Probability monads with submonads of deterministic states (Q6649470) (← links)
- Sharp elements and apartness in domains (Q6653753) (← links)
- Generalised geometric logic (Q6672065) (← links)
