Basil Duval, Holger Reimerdes, Christian Gabriel Theiler, Joaquim Loizu Cisquella, Artur Perek, Guang-Yu Sun, Sophie Danielle Angelica Gorno, Claudia Colandrea, Luke Simons, Garance Hélène Salomé Durr-Legoupil-Nicoud, Davide Galassi, Lorenzo Martinelli, Curdin Tobias Wüthrich
Jeremy Luterbacher, Songlan Sun, Stefania Bertella, Anastasiia Komarova
Simone Deparis, Riccardo Tenderini, Nicholas Mueller
,
,
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 ...