Pages that link to "Item:Q1206805"
From MaRDI portal
The following pages link to The first axiomatization of relevant logic (Q1206805):
Displaying 9 items.
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
- A relevant logic of questions (Q829829) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Oskar Becker and the modal translation of intuitionistic logic (Q2094160) (← links)
- Normal proofs, cut free derivations and structural rules (Q2259009) (← links)
- Relevant Connexive Logic (Q3387887) (← links)
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (Q3550705) (← links)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161) (← links)
- Syllogistic relevance and term logic (Q6611998) (← links)
