2 papers
cs.LO2025
Assume-guarantee contract algebras are dp-algebras
Jose Luis Castiglioni, Rodolfo Ertola-Biraben
In [Incer Romeo, I. X., \textit{The Algebra of Contracts}. Ph.D. Thesis, UC Berkeley (2022)] an algebraic perspective on assume-guarantee contracts is proposed. This proposal relie…
math.LO2025
Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
José Luis Castiglioni, Rodolfo C. Ertola-Biraben
We provide a rough sets semantics for the three-valued extension of first-order Priest's da Costa logic, which we studied in [Castiglioni, J.L. and Ertola-Biraben, R.C. Modalities…