A New Syntax for Diagrammatic Logic: A Generic Figures Approach

DOI10.1007/978-3-030-40616-5_4MaRDI QIDQ5122271zbMATH OpenOpenAlexFDO

Authors 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

• A categorical interpretation of C. S. Peirce's propositional logic Alpha
• A new applied approach for executing computations with infinite and infinitesimal quantities
• Abduction: a categorical characterization
• Generic figures and their glueings. A constructive approach to functor categories
• scientific article; zbMATH DE number 6377175 (Why is no real title available?)
• scientific article; zbMATH DE number 2129479 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• Iconicity and abduction: a categorical approach to creative hypothesis-formation in Peirce's existential graphs
• Numerical infinities and infinitesimals: methodology, applications, and repercussions on two Hilbert problems
• Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
• Proof analysis of Peirce's alpha system of graphs
• The logic system of concept graphs with negation. And its relationship to predicate logic.
• The sheet of indication: a diagrammatic semantics for Peirce's EG-alpha

Cited in

(2)

• A Diagrammatic Bridge Between Standard and Non-standard Logics: The Numerical Segment
• A new synthetical knowledge representation model and its application in data flow diagram

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5122271)