The following pages link to On Positive Relational Calculi (Q5436993):
Displaying 7 items.
- Positivity relations on a locale (Q290642) (← links)
- Axiomatizability of positive algebras of binary relations (Q647324) (← links)
- On graph reasoning (Q731892) (← links)
- On positive enumarated models (Q1177463) (← links)
- XIV Latin American Symposium on Mathematical Logic (SLALM) (Q3398618) (← links)
- On a Graph Calculus for Algebras of Relations (Q3511467) (← links)
- Positive Fork Graph Calculus (Q3605526) (← links)