The following pages link to (Q4395550):
Displaying 5 items.
- Four relevant Gentzen systems (Q579235) (← links)
- Relevance and paraconsistency - a new approach. III: Cut-free Gentzen- type systems (Q2277440) (← links)
- Multiplicative Conjunction as an Extensional Conjunction (Q3126403) (← links)
- Image of Soviet and Russian logic in the West. Latter Half of the XXth Century (Q5059702) (← links)
- Solution to a problem of Ono and Komori (Q5903941) (← links)