Pages that link to "Item:Q5878881"
From MaRDI portal
The following pages link to Sequent Calculus for Euler Diagrams (Q5878881):
Displaying 5 items.
- Proceedings of the first international workshop on Euler diagrams (Euler 2004), University of Brighton, Brighton, UK, September 22--23, 2004 (Q878020) (← links)
- Abstractions of Euler diagrams (Q2848469) (← links)
- (Q3717044) (← links)
- Arthur Schopenhauer on Naturalness in Logic (Q5118389) (← links)
- Intuitionistic Euler-Venn Diagrams (Q6485458) (← links)