The following pages link to (Q3197878):
Displayed 14 items.
- Non-commutative logical algebras and algebraic quantales (Q386648) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Quantaloidal nuclei, the syntactic congruence and tree automata (Q1184038) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- Completeness results for linear logic on Petri nets (Q1361243) (← links)
- Join-completions of partially ordered algebras (Q2004958) (← links)
- Frobenius quantales, Serre quantales and the Riemann-Roch theorem (Q2118970) (← links)
- Quantale-valued dissimilarity (Q2219183) (← links)
- Aggregation operators in fuzzy relational mathematical morphology: erosion and dilation (Q2233200) (← links)
- Unitless Frobenius quantales (Q2680596) (← links)
- Linear Structures for Concurrency in Probabilistic Programming Languages (Q4923370) (← links)
- Quantum B-algebras with involutions (Q5024537) (← links)
- The Involutive Quantaloid of Completely Distributive Lattices (Q5098728) (← links)
- Valued quantum B-algebras (Q6061524) (← links)