Pages that link to "Item:Q5764365"
From MaRDI portal
The following pages link to A system of formal logic without an analogue to the curry <i>W</i> operator (Q5764365):
Displayed 4 items.
- Modal translations in substructural logics (Q1198409) (← links)
- Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends (Q1346635) (← links)
- Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut (Q3305560) (← links)
- Abstraction in Fitch's Basic Logic (Q5497106) (← links)