Pages that link to "Item:Q1815406"
From MaRDI portal
The following pages link to Towards a model theory of diagrams (Q1815406):
Displaying 11 items.
- Reasoning with sentences and diagrams (Q1333317) (← links)
- A diagrammatic calculus of syllogisms (Q2255199) (← links)
- A diagrammatic inference system with Euler circles (Q2255200) (← links)
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← links)
- A brief proof of the full completeness of Shin's Venn diagram proof system (Q2499299) (← links)
- Set Venn diagrams applied to inclusions and non-inclusions (Q2629220) (← links)
- A new approach to the semantics of model diagrams (Q2957695) (← links)
- (Q3791884) (← links)
- Unifying notions of pasting diagrams (Q5094691) (← links)
- Diagrammatic Representation and Inference (Q5714030) (← links)
- On Diagrams and General Model Checkers (Q5878893) (← links)