Compositional Diagrammatic First-Order Logic

DOI10.1007/978-3-030-54249-8_32MaRDI QIDQ6485474zbMATH OpenFDO

Authors Nathan Haydon, Paweł Sobociński

Publication date 7 December 2022

Published in 1514.03021 (Search for Journal in Brave)

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

Recommendations

• The existential graphs
• scientific article; zbMATH DE number 1670608
• The sheet of indication: a diagrammatic semantics for Peirce's EG-alpha
• Diagrammatic Representation and Inference
• scientific article; zbMATH DE number 1787152

Cited in

(4)

• First-Order Logic on CPDA Graphs
• Compiling dyadic first-order specifications into map algebra
• A generic figures reconstruction of Peirce's existential graphs (alpha)
• String diagrams for regular logic (extended abstract)

This page was built for publication: Compositional Diagrammatic First-Order Logic

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