A graphical representation of relational formulae with complementation

DOI10.1051/ITA/2012003MaRDI QIDQ2889180zbMATH OpenOpenAlexFDO

Authors Domenico Cantone, Andrea Formisano, Marianna Nicolosi Asmundo, Eugenio Omodeo

Publication date 4 June 2012

Published in RAIRO. Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=ITA_2012__46_2_261_0/, https://eudml.org/doc/222034

zbMATH Keywords

algebra of binary relationsdyadic first-order sentencesgraph transformationgraphical representation of formulaequantifier eliminationrelational complementtranslation techniques

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• On a Graph Calculus for Algebras of Relations
• Graph Transformations
• Proofs with graphs
• Equilibrium graphs
• Reasoning with graphs

Cites work

• An \textsc{Agg} application supporting visual reasoning
• An efficient relational deductive system for propositional non-classical logics
• Compiling dyadic first-order specifications into map algebra
• Goals and benchmarks for automated map reasoning
• scientific article; zbMATH DE number 1614691 (Why is no real title available?)
• scientific article; zbMATH DE number 1615232 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 1499084 (Why is no real title available?)
• scientific article; zbMATH DE number 1507190 (Why is no real title available?)
• scientific article; zbMATH DE number 1765668 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Layered map reasoning: an experimental approach put to trial on sets
• Normal forms for binary relations
• On graph reasoning
• Proofs with graphs
• Relational matching for graphical calculi of relations
• Topology of series-parallel networks

Cited in

(2)

• Graph Transformations
• Reasoning on relations, modalities, and sets

This page was built for publication: A graphical representation of relational formulae with complementation

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