Rules of Partial Orthomodularity.

Mena Leemhuis, Diedrich Wolter, zgr L. zep

Browse the full WoLLIC paper archive.