László Forró, Ferenc Simon, Bence Gábor Márkus, Sándor Kollarics
Basil Duval, Stefano Coda, Joan Decker, Umar Sheikh, Claudia Colandrea, Luke Simons, Jean Arthur Cazabonne, Bernhard Sieglin, Gergely Papp
Thomas Keller, Lulu Liu, Abdolvahid Movahedirad
We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having po ...
Paolo Ricci, Joaquim Loizu Cisquella
Romain Christophe Rémy Fleury, Haoye Qin, Zhechen Zhang, Qiaolu Chen