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 ...
Antoine Bosselut, Forough Arabshahi
Boi Faltings, Robert West, Maxime Jean Julien Peyrard, Antoine Bosselut, Beatriz Maria Borges Ribeiro, Debjit Paul, Mahammad Ismayilzada
Pierre Dillenbourg, Jennifer Kaitlyn Olsen, Louis Pierre Faucon
Devis Tuia, Sylvain Lobry, Nicolas Courty
Martin Odersky, Nada Amin, Fengyun Liu, Sandro Stucki, Paolo Giosuè Giarrusso
Boi Faltings, Robert West, Maxime Jean Julien Peyrard, Martin Josifoski, Valentin Hartmann, Debjit Paul, Jiheng Wei, Frano Rajic