Residuation in existential graphs

DOI10.1007/978-3-030-86062-2_21OpenAlexW3200548913MaRDI QIDQ2671610

Ahti-Veikko Pietarinen, Nathan Haydon

Publication date: 3 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-86062-2_21

zbMATH Keywords

cutsresiduationexistential graphsCharles Peircelines of identity

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pregroups and natural language processing
• The origin of relation algebras in the development and axiomatization of the calculus of relations
• The Mathematics of Sentence Structure
• Relational Methods in Computer Science
• PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC
• Peirce’s Sequent Proofs of Distributivity
• Introduction to Relation Algebras
• On the calculus of relations

This page was built for publication: Residuation in existential graphs