On Positive Relational Calculi

DOI10.1093/JIGPAL/JZM054MaRDI QIDQ5436993zbMATH OpenOpenAlexFDO

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

Publication date 18 January 2008

Published in Logic Journal of the 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)

Recommendations

• On the positive calculus of relations with transitive closure
• Expressive Power and Succinctness of the Positive Calculus of Relations
• Equational theory of relation algebras with positive operations
• Expressive power and succinctness of the positive calculus of binary relations
• Axiomatizability of positive algebras of binary relations
• A Note on Positive Equivalence Relations
• Positive formulas in intuitionistic and minimal logic
• Positive fragments of relevance logic and algebras of binary relations
• Positivity relations on a locale
• On positive enumarated models

Cited in

(9)

• Positivity relations on a locale
• On graph reasoning
• Positive Fork Graph Calculus
• Reasoning with graphs
• On graph refutation for relational inclusions
• On positive enumarated models
• Axiomatizability of positive algebras of binary relations
• XIV Latin American Symposium on Mathematical Logic (SLALM)
• On a Graph Calculus for Algebras of Relations

This page was built for publication: On Positive Relational Calculi

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