Kornell, A. (2021). A natural deduction system for orthomodular logic.
Chicago Style (17th ed.) CitationKornell, Andre. A Natural Deduction System for Orthomodular Logic. 2021.
MLA (9th ed.) CitationKornell, Andre. A Natural Deduction System for Orthomodular Logic. 2021.
Warning: These citations may not always be 100% accurate.