Pages that link to "Item:Q1891929"
From MaRDI portal
The following pages link to Connectification for \(n\)-contraction (Q1891929):
Displaying 5 items.
- Uninorm logic with the \(n\)-potency axiom (Q695273) (← links)
- Semantics of weakening and contraction (Q1337357) (← links)
- Extending intuitionistic linear logic with knotted structural rules (Q1344438) (← links)
- Free algebras corresponding to multiplicative classical linear logic and some of its extensions (Q1924328) (← links)
- Free ordered algebraic structures towards proof theory (Q2747705) (← links)