The following pages link to (Q4888736):
Displaying 50 items.
- Proof theory for reasoning with Euler diagrams: a logic translation and normalization (Q361868) (← links)
- Diagrams in mathematics: history and philosophy (Q375264) (← links)
- The forgotten individual: diagrammatic reasoning in mathematics (Q375274) (← links)
- And so on \dots : reasoning with infinite diagrams (Q375286) (← links)
- Counter-example construction with Euler diagrams (Q495828) (← links)
- Vivid: a framework for heterogeneous problem solving (Q1045993) (← links)
- Reasoning with sentences and diagrams (Q1333317) (← links)
- Venn diagram with names of individuals and their absence: a non-classical diagram logic (Q1653555) (← links)
- The concept of relevance and the logic diagram tradition (Q1931345) (← links)
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics (Q1942335) (← links)
- \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary (Q2011376) (← links)
- Economic reasoning with demand and supply graphs (Q2173168) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← links)
- Main problems of diagrammatic reasoning. I: The generalization problem (Q2271076) (← links)
- Diagrams in mathematics (Q2289698) (← links)
- The Eu approach to formalizing Euclid: a response to ``On the inconsistency of Mumma's Eu'' (Q2330505) (← links)
- The semiotics of spider diagrams (Q2399601) (← links)
- Logicographic symbols (Q2457342) (← links)
- A graphical user interface for formal proofs in geometry (Q2462636) (← links)
- Normal forms for binary relations (Q2503327) (← links)
- Set Venn diagrams applied to inclusions and non-inclusions (Q2629220) (← links)
- A fresh look at research strategies in computational cognitive science: the case of enculturated mathematical problem solving (Q2695158) (← links)
- (Q2760976) (← links)
- Equivalences in Euler-based diagram systems through normal forms (Q2827282) (← links)
- Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL (Q2848474) (← links)
- Diagrammatic Reasoning with Classes and Relationships (Q2948607) (← links)
- A Practice-Based Approach to Diagrams (Q2948609) (← links)
- Figures, Formulae, and Functors (Q2948610) (← links)
- Iconic Representations and Representative Practices (Q2964093) (← links)
- Lewis Carroll's visual logic (Q3429442) (← links)
- What Are the Advantages of Hyperproof-like Reasoning Systems? (Q4490081) (← links)
- Heterogeneous Reasoning and Its Logic (Q4678935) (← links)
- An Inquiry into the Practice of Proving in Low-Dimensional Topology (Q5213637) (← links)
- Conceptual Structures at Work (Q5313134) (← links)
- Is Logic Universal or Hierarchical? (Q5350339) (← links)
- A New–old Characterisation of Logical Knowledge (Q5497107) (← links)
- (Q5691488) (← links)
- Diagrammatic Representation and Inference (Q5714104) (← links)
- Accessible Reasoning with Diagrams: From Cognition to Automation (Q5878874) (← links)
- Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams (Q5878879) (← links)
- Sequent Calculus for Euler Diagrams (Q5878881) (← links)
- Diagrammatic representation for interval arithmetic (Q5929745) (← links)
- On the insufficiency of linear diagrams for syllogisms (Q5937839) (← links)
- Are Euclid’s Diagrams ‘Representations’? On an Argument by Ken Manders (Q6098765) (← links)
- Can We “Show” the Correctness of Reasoning? On the Role of Diagrammatic Spatialization in Logical Justification (Q6110238) (← links)
- An analysis of existential graphs. II: Beta (Q6147162) (← links)
- ``Free rides'' in mathematics (Q6187762) (← links)
- A bitstring semantics for calculus \textit{CL} (Q6600389) (← links)
- Oruga: implementation and use of representational systems theory (Q6648183) (← links)
