The following pages link to Aleksandar Kron (Q579234):
Displaying 7 items.
- Four relevant Gentzen systems (Q579235) (← links)
- Gentzen formulations of two positive relevance logics (Q1158143) (← links)
- Correction to ''Gentzen formulations of two positive relevance logics'' (Q1164620) (← links)
- Preference and choice (Q1219271) (← links)
- A note on E (Q2545154) (← links)
- Deduction Theorems for T, E and R Reconsidered (Q4111531) (← links)
- Deduction Theorems for Relevant Logics (Q5675347) (← links)