A graphical representation of relational formulae with complementation

DOI10.1051/ita/2012003zbMath1254.03020OpenAlexW2150386611MaRDI QIDQ2889180

Marianna Nicolosi-Asmundo, Andrea Formisano, Domenico Cantone, Eugenio Giovanni 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/

zbMATH Keywords

quantifier eliminationgraph transformationalgebra of binary relationsdyadic first-order sentencesgraphical representation of formulaerelational complementtranslation techniques

Mathematics Subject Classification ID

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

Cites Work

• On graph reasoning
• Compiling dyadic first-order specifications into map algebra
• Proofs with graphs
• Relational matching for graphical calculi of relations
• Topology of series-parallel networks
• Normal forms for binary relations
• An efficient relational deductive system for propositional non-classical logics
• An Agg Application Supporting Visual Reasoning1
• Layered map reasoning
• Goals and benchmarks for automated map reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item