The following pages link to (Q3996704):
Displaying 50 items.
- Current trends in substructural logics (Q266641) (← links)
- A duality between \(\Omega\)-categories and algebraic \(\Omega\)-categories (Q276411) (← links)
- Enriched categories and many-valued preorders: categorical, semantical, and topological perspectives (Q277330) (← links)
- Some corollaries of the correspondence between partial metrics and multivalued equalities (Q277333) (← links)
- Sheaves on involutive quantales: Grothendieck quantales. (Q277338) (← links)
- Categorical foundations of topology with applications to quantaloid enriched topological spaces (Q277343) (← links)
- Quantale-valued preorders: globalization and cocompleteness. (Q277350) (← links)
- Lattice-valued bornological systems (Q277552) (← links)
- Lattice-valued preordered sets as lattice-valued topological systems (Q277553) (← links)
- Free \(Q\)-algebras. (Q279346) (← links)
- The construction of left-continuous t-norms: a geometric approach in two dimensions (Q279423) (← links)
- On the power-set \(Q\)-algebras (Q284662) (← links)
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- Multi-posets in algebraic logic, group theory, and non-commutative topology (Q306579) (← links)
- On derivations of quantales (Q317877) (← links)
- Hereditary arithmetics (Q324225) (← links)
- Topological representation and quantic separation axioms of semi-quantales (Q334570) (← links)
- On semi separation axioms in \(L\)-fuzzifying bitopological spaces (Q334584) (← links)
- Injective hulls for ordered algebras (Q334971) (← links)
- A note on the number of subquantales (Q353365) (← links)
- Lattice-valued topological systems as a framework for lattice-valued formal concept analysis (Q355727) (← links)
- Non-commutative logical algebras and algebraic quantales (Q386648) (← links)
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Generalized lower and upper approximations in quantales (Q411063) (← links)
- A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety (Q419013) (← links)
- The order-theoretic duality and relations between partial metrics and local equalities (Q419040) (← links)
- Categorical foundations of variety-based topology and topological systems (Q419052) (← links)
- Preordered sets valued in a GL-monoid (Q427913) (← links)
- Coreflective hull of finite strong L-topological spaces (Q429395) (← links)
- Remark on the unital quantale \(Q[e]\) (Q452329) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- On approximate-type systems generated by \( L\)-relations (Q507641) (← links)
- Categories of quantum and classical channels (Q513861) (← links)
- A non-commutative and non-idempotent theory of quantale sets (Q533140) (← links)
- Groupoid quantales: A non-étale setting (Q534017) (← links)
- Generalized fuzzy topology versus non-commutative topology (Q549320) (← links)
- Nuclei and conuclei on residuated lattices (Q549349) (← links)
- Algebraic separation logic (Q549676) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- Transforming semantics by abstract interpretation (Q557807) (← links)
- Topological groupoid quantales (Q609642) (← links)
- Categorical approaches to non-commutative fuzzy logic (Q622031) (← links)
- Measure-free conditioning and extensions of additive measures on finite MV-algebras (Q622033) (← links)
- Alexandroff \(L\)-co-topological spaces (Q622034) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Grishin algebras and cover systems for classical bilinear logic (Q647406) (← links)
- Groupoid sheaves as quantale sheaves (Q659892) (← links)
- Representation theorems for \(Q\)-algebras (Q666689) (← links)
- Fuzzifying topology induced by a strong fuzzy metric (Q679763) (← links)
- \(\mathcal{Q}\)-closure spaces (Q679770) (← links)
