Giovanni De Micheli, Alessandro Tempia Calvino, Gianluca Radi
Pascal Fua, Mathieu Salzmann, Krzysztof Maciej Lis, Sina Honari
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 ...
Pierre Vandergheynst, Milos Vasic, Francesco Craighero, Renata Khasanova
Volkan Cevher, Kimon Antonakopoulos, Thomas Michaelsen Pethick, Wanyun Xie, Fabian Ricardo Latorre Gomez
Jürg Alexander Schiffmann, Tomohiro Nakade, Robert Fuchs
Pierre Vandergheynst, Milos Vasic, Francesco Craighero, Renata Khasanova