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)

Full work available at URL https://doi.org/10.1007/978-3-030-54249-8_32

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

(10)

• Compiling dyadic first-order specifications into map algebra
• First-Order Logic on CPDA Graphs
• String diagrams for regular logic (extended abstract)
• A generic figures reconstruction of Peirce's existential graphs (alpha)
• The flower calculus
• Constructor theory as process theory
• Diagrammatic algebra of first order logic
• When Lawvere meets Peirce: an equational presentation of Boolean hyperdoctrines
• The calculus of neo-Peircean relations
• Functorial semantics for relational theories

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)