Simon Guilloud and Viktor Kunčak. Orthologic with axioms. Proc. ACM Program. Lang. (POPL), 8(POPL), jan 2024.

Keywords: Decision procedures, Logic and decidability, Verification, Orthologic