Heterogeneous Reasoning and Its Logic

DOI10.2178/BSL/1080330275zbMATH Open1067.03002OpenAlexW2129086101MaRDI QIDQ4678935FDOQ4678935

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

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

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)

Cites Work

• Title not available (Why is that?)

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
• Title not available (Why is that?)
• 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)