44 citations · 44 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021
A proof theoretic basis for relational semantics
Carlos G. Lopez Pombo, Thomas S. E. Maibaum
Logic has proved essential for formally modeling software based systems. Such formal descriptions, frequently called specifications, have served not only as requirements documentat…
cs.LO2020
On the construction of explosive relation algebras
Carlos G. Lopez Pombo, Marcelo F. Frias, Thomas S. E. Maibaum
Fork algebras are an extension of relation algebras obtained by extending the set of logical symbols with a binary operator called fork. This class of algebras was introduced by Ha…