4 ms·
Hooray, finally somebody uses relevant logic without contraction and without the distribution of conjunction over disjunction!
by bitL 11y ago
Hooray, finally somebody uses relevant logic without contraction and without the distribution of conjunction over disjunction!