「」 Lingenic
Orthomodular
⊤
⊃
Knowledge Base
⊃
Logic
⊃
Formal Logical Systems
⊃
Algebraic
⊃
Orthomodular
2026-08-19T203502.821
+
000000017291072