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