The following pages link to Speedith (Q31282):
Displaying 8 items.
- Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\) (Q723644) (← links)
- Inspection and selection of representations (Q2287916) (← links)
- Reasoning with concept diagrams about antipatterns in ontologies (Q2364685) (← links)
- Diabelli: A Heterogeneous Proof System (Q2908526) (← links)
- Accessible Reasoning with Diagrams: From Cognition to Automation (Q5878874) (← links)
- Investigating Diagrammatic Reasoning with Deep Neural Networks (Q5878880) (← links)
- Sequent Calculus for Euler Diagrams (Q5878881) (← links)
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams (Q5878888) (← links)
