On Positive Relational Calculi

DOI10.1093/jigpal/jzm054zbMath1157.03039OpenAlexW2096911427MaRDI QIDQ5436993

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

Publication date: 18 January 2008

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzm054

zbMATH Keywords

completenessdecidabilitynatural deductiongraph calculuspositive relational calculi

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (4)

On a Graph Calculus for Algebras of Relations ⋮ Positive Fork Graph Calculus ⋮ On graph reasoning ⋮ XIV Latin American Symposium on Mathematical Logic (SLALM)

This page was built for publication: On Positive Relational Calculi