A New Syntax for Diagrammatic Logic: A Generic Figures Approach

DOI10.1007/978-3-030-40616-5_4OpenAlexW3006365183MaRDI QIDQ5122271

Gianluca Caterina, Rocco Gangle

Publication date: 22 September 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-40616-5_4

Mathematics Subject Classification ID

Numerical analysis (65-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The sheet of indication: a diagrammatic semantics for Peirce's EG-alpha
• The logic system of concept graphs with negation. And its relationship to predicate logic.
• A categorical interpretation of C. S. Peirce's propositional logic Alpha
• Abduction: a categorical characterization
• Proof analysis of Peirce's alpha system of graphs
• Numerical infinities and infinitesimals: methodology, applications, and repercussions on two Hilbert problems
• Picturing Quantum Processes
• A new applied approach for executing computations with infinite and infinitesimal quantities
• Iconicity and abduction: a categorical approach to creative hypothesis-formation in Peirce's existential graphs

This page was built for publication: A New Syntax for Diagrammatic Logic: A Generic Figures Approach