scientific article; zbMATH DE number 1237648
From MaRDI portal
Publication:4224224
zbMath0930.03002MaRDI QIDQ4224224
Publication date: 10 January 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
mapstablescompletenesslogical consequencegraphsdigraphssemanticslogicsoundnessdiagramschartsgrammatical structureEuler circleslogical foundations of visual informationPeirce diagramsrules of inference for reasoning with diagrams
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) General logic (03B99)
Related Items (20)
Speedith: a reasoner for spider diagrams ⋮ Venn diagram with names of individuals and their absence: a non-classical diagram logic ⋮ Singular propositions, negation and the square of opposition ⋮ The semiotics of spider diagrams ⋮ Presence and absence of individuals in diagrammatic logics: an empirical comparison ⋮ Diagrammatic Reasoning with Classes and Relationships ⋮ Can We “Show” the Correctness of Reasoning? On the Role of Diagrammatic Spatialization in Logical Justification ⋮ Spider Diagrams ⋮ Logicographic symbols ⋮ Automated theorem proving in Euler diagram systems ⋮ A diagrammatic inference system with Euler circles ⋮ 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 ⋮ Diagrams in mathematics ⋮ Equivalences in Euler-based diagram systems through normal forms ⋮ A ModalWalk Through Space ⋮ A graph theoretic approach to general Euler diagram drawing ⋮ Vivid: a framework for heterogeneous problem solving ⋮ Diagram processing: Computing with diagrams
This page was built for publication: