Mena Leemhuis, Diedrich Wolter, Özgür L. Özçep. Rules of Partial Orthomodularity. In George Metcalfe, Thomas Studer, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings. Volume 14672 of Lecture Notes in Computer Science, pages 108-121, Springer, 2024. [doi]
Abstract is missing.