Speedith

swMATH19455MaRDI QIDQ31282FDOQ31282

Author name not available (Why is that?)

Described by source

• Speedith: a reasoner for spider diagrams

Cited In (8)

• Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\)
• Diabelli: A Heterogeneous Proof System
• Sequent Calculus for Euler Diagrams
• Reasoning with concept diagrams about antipatterns in ontologies
• Inspection and selection of representations
• Investigating Diagrammatic Reasoning with Deep Neural Networks
• Accessible Reasoning with Diagrams: From Cognition to Automation
• Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams

This page was built for software: Speedith