The following pages link to (Q3509054):
Displaying 9 items.
- Grishin algebras and cover systems for classical bilinear logic (Q647406) (← links)
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular (Q732053) (← links)
- Reducts of relation algebras: the aspects of axiomatisability and finite representability (Q2151415) (← links)
- Cover semantics for quantified lax logic (Q3103978) (← links)
- The Keisler–Shelah theorem for $\mathsf{QmbC}$ through semantical atomization (Q3386903) (← links)
- Quantales and (noncommutative) linear logic (Q3478401) (← links)
- Autonomous posets and quantales (Q4304551) (← links)
- Non-commutative Quantales for Many-Valuedness in Applications (Q5115753) (← links)
- (Q5389290) (← links)
