scientific article; zbMATH DE number 918108

zbMath0870.03002MaRDI QIDQ4888736

No author found.

Publication date: 19 August 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Diagramslogical reasoningdiagramsdeductive reasoningmathematical proofHyperproofheterogeneous inferenceLogical reasoninglogics based on diagrams

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) Artificial intelligence (68T99) Mechanization of proofs and logical operations (03B35) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) General logic (03B99) Collections of reprinted articles (00B60)

Related Items

Venn diagram with names of individuals and their absence: a non-classical diagram logic ⋮ The semiotics of spider diagrams ⋮ Proof theory for reasoning with Euler diagrams: a logic translation and normalization ⋮ Economic reasoning with demand and supply graphs ⋮ Diagrams in mathematics: history and philosophy ⋮ The forgotten individual: diagrammatic reasoning in mathematics ⋮ And so on \dots : reasoning with infinite diagrams ⋮ Diagrammatic Reasoning with Classes and Relationships ⋮ A Practice-Based Approach to Diagrams ⋮ Figures, Formulae, and Functors ⋮ The concept of relevance and the logic diagram tradition ⋮ Is Logic Universal or Hierarchical? ⋮ Are Euclid’s Diagrams ‘Representations’? On an Argument by Ken Manders ⋮ An analysis of existential graphs. II: Beta ⋮ Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics ⋮ Iconic Representations and Representative Practices ⋮ ``Free rides in mathematics ⋮ A fresh look at research strategies in computational cognitive science: the case of enculturated mathematical problem solving ⋮ Logicographic symbols ⋮ A graphical user interface for formal proofs in geometry ⋮ Counter-example construction with Euler diagrams ⋮ Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization ⋮ Diagrammatic representation for interval arithmetic ⋮ Syllogisms in rudimentary linear logic, diagrammatically ⋮ On the insufficiency of linear diagrams for syllogisms ⋮ \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary ⋮ Normal forms for binary relations ⋮ Diagrams in mathematics ⋮ An Inquiry into the Practice of Proving in Low-Dimensional Topology ⋮ Equivalences in Euler-based diagram systems through normal forms ⋮ A New–old Characterisation of Logical Knowledge ⋮ The Eu approach to formalizing Euclid: a response to ``On the inconsistency of Mumma's Eu ⋮ Lewis Carroll's visual logic ⋮ Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams ⋮ Sequent Calculus for Euler Diagrams

This page was built for publication: