Logical theories of orthogonality structures

- Kellerman, Ruaan