Heterogeneous Reasoning and Its Logic

DOI10.2178/bsl/1080330275zbMath1067.03002OpenAlexW2129086101MaRDI QIDQ4678935

Sun-Joo Shin

Publication date: 24 May 2005

Published in: 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)

Related Items

A Practice-Based Approach to Diagrams ⋮ Existential Graphs: What a Diagrammatic Logic of Cognition Might Look Like ⋮ ‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING ⋮ Intuition and visualization in mathematical problem solving ⋮ An Inquiry into the Practice of Proving in Low-Dimensional Topology ⋮ From Euclidean geometry to knots and nets ⋮ Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers ⋮ Vivid: a framework for heterogeneous problem solving

Cites Work

• Unnamed Item

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