Assume-guarantee contract algebras are bounded Sugihara monoids
From MaRDI portal
Publication:6522523
zbMatharXiv:2402.12514MaRDI QIDQ6522523
Rodolfo C. Ertola-Biraben, José Luis Castiglioni
Publication date: 1 January 1
Other algebras related to logic (03G25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Varieties (08B99)
This page was built for publication: Assume-guarantee contract algebras are bounded Sugihara monoids