Heterogeneous Reasoning and Its Logic
From MaRDI portal
Publication:4678935
DOI10.2178/bsl/1080330275zbMath1067.03002MaRDI QIDQ4678935
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
03A05: Philosophical and critical aspects of logic and foundations
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Related Items
Existential Graphs: What a Diagrammatic Logic of Cognition Might Look Like, An Inquiry into the Practice of Proving in Low-Dimensional Topology, ‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING, Intuition and visualization in mathematical problem solving, Vivid: a framework for heterogeneous problem solving, A Practice-Based Approach to Diagrams, Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers
Cites Work