The following pages link to (Q3994458):
Displaying 50 items.
- Enriched categories and many-valued preorders: categorical, semantical, and topological perspectives (Q277330) (← links)
- Lattice-valued bornological systems (Q277552) (← links)
- Lattice-valued preordered sets as lattice-valued topological systems (Q277553) (← links)
- Continuity and geometric logic (Q280833) (← links)
- Natural number objects in Dialectica categories (Q281151) (← links)
- Lattice-valued topological systems as a framework for lattice-valued formal concept analysis (Q355727) (← links)
- Information completeness in Nelson algebras of rough sets induced by quasiorders (Q383570) (← links)
- Yet another patch construction for continuous frames and connections to the Fell compactification (Q387627) (← links)
- Enough regular Cauchy filters for asymmetric uniform and nearness structures (Q395670) (← links)
- On limits and colimits of variety-based topological systems (Q409742) (← links)
- On a generalization of the concept of state property system (Q416295) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Interweaving algebra and topology: lattice-valued topological systems (Q419041) (← links)
- Categorical foundations of variety-based topology and topological systems (Q419052) (← links)
- Almost new pre-apartness from old (Q424542) (← links)
- Measure, randomness and sublocales (Q450959) (← links)
- Lattice structures for attractors. II (Q515984) (← links)
- An asymmetric characterization of the congruence frame (Q536047) (← links)
- Topology vs generalized rough sets (Q541823) (← links)
- \(L\)-topological spaces as spaces of points (Q549317) (← links)
- Fuzzy algebras as a framework for fuzzy topology (Q549319) (← links)
- Generalized fuzzy topology versus non-commutative topology (Q549320) (← links)
- A bitopological point-free approach to compactifications (Q554414) (← links)
- On the strong amalgamation of Boolean algebras (Q607452) (← links)
- Overview and comparison of localic and fixed-basis topological products (Q622029) (← links)
- Hypergraph functor and attachment (Q622061) (← links)
- The quasi-lattice of indiscernible elements (Q631517) (← links)
- The patch construction is dual to algebraic DCPO representation (Q633791) (← links)
- The reals as full and balanced biframe (Q645193) (← links)
- Duality and the completeness of the modal \(\mu\)-calculus (Q671986) (← links)
- Constraint nets: a semantic model for hybrid dynamic systems (Q673883) (← links)
- Stable domains are generalized topological spaces (Q685417) (← links)
- The probabilistic powerdomain for stably compact spaces (Q703479) (← links)
- Stone coalgebras (Q703523) (← links)
- Situations in LTL as strings (Q731890) (← links)
- Self-oscillation (Q740806) (← links)
- A categorical outlook on relational modalities and simulations (Q764263) (← links)
- The properties of \(\models\)-filters of a topological system (Q780198) (← links)
- Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic'' sets, ``intuitionistic'' fuzzy sets and topologies (Q812590) (← links)
- Measuring the local non-convexity of real algebraic curves (Q820982) (← links)
- Category theoretic aspects of chain-valued frames. I: Categorical and presheaf theoretic foundations (Q834493) (← links)
- A spatial view of information (Q854179) (← links)
- Coalgebraic representations of distributive lattices with operators (Q869666) (← links)
- A formal mathematical framework for modeling probabilistic hybrid systems (Q870808) (← links)
- The basic Zariski topology (Q887823) (← links)
- Lattice-valued soft algebras. (Q889973) (← links)
- Presenting the frame of the unit circle. (Q890649) (← links)
- The categories \(L\)-\(\mathbf{Top}_{0}\) and \(L\)-\(\mathbf{Sob}\) as epireflective hulls (Q894525) (← links)
- A Hofmann-Mislove theorem for bitopological spaces (Q941428) (← links)
- Machine semantics (Q959818) (← links)
