On a Graph Calculus for Algebras of Relations

DOI10.1007/978-3-540-69937-8_26MaRDI QIDQ3511467zbMATH OpenOpenAlexFDO

Authors Paulo A. S. Veloso, Sheila R. M. Veloso, Petrucio Viana, Renata P. de Freitas

Publication date 10 July 2008

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69937-8_26

zbMATH Keywords

complementationcompletenessgraph calculusreasoning from hypothesesrelational language

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Structure of proofs (03F07) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• scientific article; zbMATH DE number 2183075
• Calculational proofs in relational graphical linear algebra
• scientific article; zbMATH DE number 177437
• scientific article; zbMATH DE number 517053
• scientific article; zbMATH DE number 193710
• Graph algebras and graph varieties
• scientific article; zbMATH DE number 3981240
• Relation graphs of the sedenion algebra
• On Grassmann algebras of graphs

Cites work

• A sequent calculus for relation algebras
• Arguesian identities in linear lattices
• Arguesian identities in the congruence variety of Abelian groups
• Geometric identities in lattice theory
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 1499084 (Why is no real title available?)
• On Positive Relational Calculi
• Proof theory for linear lattices
• Proofs with graphs
• Reasoning with graphs
• Relation algebras
• Relation algebras by games
• Relational matching for graphical calculi of relations
• Relational treatment of term graphs with bound variables

Cited in

(23)

• Proofs with graphs
• Relational matching for graphical calculi of relations
• Calculational proofs in relational graphical linear algebra
• Relation graphs of the split-sedenion algebra
• Relational characterisations of paths
• On a graph calculus for modalities
• Set Venn diagrams applied to inclusions and non-inclusions
• A graphical representation of relational formulae with complementation
• A first-order calculus for allegories
• Graph Automata: The Algebraic Properties of Abelian Relational Graphoids
• scientific article; zbMATH DE number 3871333 (Why is no real title available?)
• A graph-theoretic account of logics
• scientific article; zbMATH DE number 3981240 (Why is no real title available?)
• scientific article; zbMATH DE number 4028949 (Why is no real title available?)
• scientific article; zbMATH DE number 193710 (Why is no real title available?)
• scientific article; zbMATH DE number 2016202 (Why is no real title available?)
• Reasoning with graphs
• An \textsc{Agg} application supporting visual reasoning
• Graphical Conjunctive Queries.
• Allegories: decidability and graph homomorphisms
• Stone relation algebras
• On graph refutation for relational inclusions
• On graph reasoning

This page was built for publication: On a Graph Calculus for Algebras of Relations

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