On Positive Relational Calculi
From MaRDI portal
Publication:5436993
DOI10.1093/jigpal/jzm054zbMath1157.03039MaRDI 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
03F05: Cut-elimination and normal-form theorems
03G15: Cylindric and polyadic algebras; relation algebras
Related Items
On graph reasoning, XIV Latin American Symposium on Mathematical Logic (SLALM), On a Graph Calculus for Algebras of Relations, Positive Fork Graph Calculus