Heterogeneous Reasoning and Its Logic

DOI10.2178/BSL/1080330275MaRDI QIDQ4678935zbMATH OpenOpenAlexFDO

Authors Sun-Joo Shin

Publication date 24 May 2005

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/bsl/1080330275

zbMATH Keywords

survey paperheterogeneous logiclogic with visualization

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Recommendations

• scientific article; zbMATH DE number 918108
• scientific article; zbMATH DE number 819502
• scientific article; zbMATH DE number 2086746
• Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL
• scientific article; zbMATH DE number 753770

Cited in

(10)

• Existential graphs: what a diagrammatic logic of cognition might look like
• Heterogeneous proofs: spider diagrams meet higher-order provers
• From Euclidean geometry to knots and nets
• Intuition and visualization in mathematical problem solving
• scientific article; zbMATH DE number 2086746 (Why is no real title available?)
• A logical investigation of heterogeneous reasoning with graphs in elementary economics
• `Chasing' the diagram -- the use of visualizations in algebraic reasoning
• An inquiry into the practice of proving in low-dimensional topology
• Vivid: a framework for heterogeneous problem solving
• A practice-based approach to diagrams

This page was built for publication: Heterogeneous Reasoning and Its Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4678935)