The following pages link to Quantales and structural rules (Q4716049):
Displaying 6 items.
- Girard couples of quantales (Q969691) (← links)
- Frobenius quantales, Serre quantales and the Riemann-Roch theorem (Q2118970) (← links)
- Monoid based semantics for linear formulas (corrected republication) (Q3149979) (← links)
- FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC (Q3389493) (← links)
- (Q3996704) (← links)
- (Q4926910) (← links)