Pages that link to "Item:Q5764365"

The following pages link to A system of formal logic without an analogue to the curry <i>W</i> operator (Q5764365):

Displayed 2 items.

• Modal translations in substructural logics (Q1198409) ‎ (← links)
• Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends (Q1346635) ‎ (← links)