The following pages link to (Q3994458):
Displaying 50 items.
- At most 4 topologies can arise from iterating the de Groot dual (Q1873751) (← links)
- Logic, topology, and integration (Q1893128) (← links)
- Asymmetry and duality in topology (Q1902986) (← links)
- A rational reconstruction of the domain of feature structures (Q1903084) (← links)
- Data refinement, call by value and higher order programs (Q1906039) (← links)
- Three-valued derived logics for classical phase spaces (Q1910876) (← links)
- Topological reasoning and the logic of knowledge (Q1919762) (← links)
- Categorical shape theory as a formal language for pattern recognition? (Q1924765) (← links)
- Stably locally compact locales are dual to continuous posets (Q1979302) (← links)
- Coverages give free constructions for partial frames (Q2014013) (← links)
- Announcement as effort on topological spaces (Q2053358) (← links)
- An abstract theory of physical measurements (Q2062513) (← links)
- Hofmann-Mislove through the lenses of Priestley (Q2099147) (← links)
- Projective points over matrices and their separability properties (Q2141076) (← links)
- Stone dualities from opfibrations (Q2141291) (← links)
- Lattice structures for attractors. III (Q2172766) (← links)
- Tensor topology (Q2176086) (← links)
- Presenting de Groot duality of stably compact spaces (Q2182316) (← links)
- On graphs of bounded semilattices (Q2191959) (← links)
- Thompson aggregators, Scott continuous koopmans operators, and least fixed point theory (Q2236202) (← links)
- Some further results about uninorms on bounded lattices (Q2237121) (← links)
- Positive monotone modal logic (Q2243549) (← links)
- Non-Archimedean game theory: a numerical approach (Q2244113) (← links)
- On the category of lattice-valued bornological vector spaces (Q2252458) (← links)
- A method for constructing coreflections for nearness frames. (Q2254580) (← links)
- Epistemic foundations for set-algebraic representations of knowledge (Q2338657) (← links)
- Information systems for continuous posets (Q2367538) (← links)
- Intersection types and lambda models (Q2369008) (← links)
- Formulas on the lattice of fuzzy subalgebras in universal algebra (Q2372304) (← links)
- Semantics of a sequential language for exact real-number computation (Q2373708) (← links)
- Fuzzy topology via fuzzy geometric logic with graded consequence (Q2374533) (← links)
- The Samuel compactification for quasi-uniform biframes (Q2390517) (← links)
- An asymmetric approach to filters in strict extensions and quotients (Q2392027) (← links)
- Sierpinski object for affine systems (Q2398041) (← links)
- Categorical foundations of variety-based bornology (Q2398058) (← links)
- A perspective on non-commutative frame theory (Q2400516) (← links)
- On topological systems (Q2403455) (← links)
- A topological approach to full belief (Q2421518) (← links)
- Quotients of d-frames (Q2423832) (← links)
- Categorically algebraic topology versus universal topology (Q2445540) (← links)
- A presentation of the assembly of a frame by generators and relations exhibits its bitopological structure. (Q2449448) (← links)
- A Grim semantics for logics of belief (Q2481242) (← links)
- On the computational content of the Lawson topology (Q2500493) (← links)
- Lattice structures for attractors. I (Q2513919) (← links)
- A topological duality for posets (Q2520766) (← links)
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames (Q2575764) (← links)
- Programming interfaces and basic topology (Q2575770) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- A concrete realization of the Hoare powerdomain (Q2642996) (← links)
- The compactificability classes of certain spaces (Q2644155) (← links)
