Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Ondrej Lhoták
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 ...
Martin Odersky, Yichen Xu, Aleksander Slawomir Boruch-Gruszecki
Aleksander Slawomir Boruch-Gruszecki
Ali H. Sayed, Bicheng Ying, Kun Yuan
Aleksandar Prokopec, Fengyun Liu
Guillaume André Fradji Martres
Ali H. Sayed, Bicheng Ying, Kun Yuan