Drazen Dujic, Andrea Cervone, Tianyu Wei
Alireza Karimi, Vaibhav Gupta, Elias Sebastian Klauser
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 ...
Mario Paolone, Vladimir Sovljanski
Mathieu Salzmann, Alexandre Massoud Alahi, Megh Hiren Shukla
Wendy Lee Queen, Jocelyn Richard Roth, Rawan Al Natour