Compositional Diagrammatic First-Order Logic

DOI10.1007/978-3-030-54249-8_32MaRDI QIDQ6485474FDOQ6485474

Authors: Nathan Haydon, Paweł Sobociński 

Publication date: 7 December 2022

Published in: 1514.03021 (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Cited In (2)

• First-Order Logic on CPDA Graphs
• Compiling dyadic first-order specifications into map algebra

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)