Pages that link to "Item:Q2948608"
From MaRDI portal
The following pages link to On the Completeness of Spider Diagrams Augmented with Constants (Q2948608):
Displayed 4 items.
- Singular propositions, negation and the square of opposition (Q346761) (← links)
- Presence and absence of individuals in diagrammatic logics: an empirical comparison (Q1680517) (← links)
- The semiotics of spider diagrams (Q2399601) (← links)
- Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers (Q3088023) (← links)