Hyperproof

swMATH22172MaRDI QIDQ33967FDOQ33967

Author name not available (Why is that?)

Cited In (27)

• Title not available (Why is that?)
• Logicographic symbols
• Meaning and dialogue coherence: A proof-theoretic investigation
• Simplifying proofs in Fitch-style natural deduction systems
• Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book
• Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
• Title not available (Why is that?)
• The Observational Advantages of Euler Diagrams with Existential Import
• AE (Aristotle-Euler) diagrams: An alternative complete method for the categorical syllogism
• Conservation principles and action schemes in the synthesis of geometric concepts
• Automated theorem proving in Euler diagram systems
• The concept of relevance and the logic diagram tradition
• What makes an effective representation of information: a formal account of observational advantages
• Equivalences in Euler-based diagram systems through normal forms
• Economic reasoning with demand and supply graphs
• Two kinds of non-monotonic analogical inference
• Investigating Diagrammatic Reasoning with Deep Neural Networks
• Vivid: a framework for heterogeneous problem solving
• Counter-example construction with Euler diagrams
• Accessible Reasoning with Diagrams: From Cognition to Automation
• A semiotic perspective on polysemy
• Hybrid reasoning using universal attachment
• A Shell for Generic Interactive Proof Search
• Information and impossibilities
• Strategy analysis of non-consequence inference with Euler diagrams
• How diagrams can support syllogistic reasoning: an experimental study
• Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams

This page was built for software: Hyperproof