Pages that link to "Item:Q1891929"

The following pages link to Connectification for \(n\)-contraction (Q1891929):

Displaying 3 items.

• Uninorm logic with the \(n\)-potency axiom (Q695273) (← 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)