Abstract
AbstractWe prove that no logic (i.e. consequence operation) determined by any class of orthomodular lattices admits the deduction theorem (Theorem 2.7). We extend those results to some broader class of logics determined by ortholattices (Corollary 2.6).
Publisher
Cambridge University Press (CUP)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Gentle Introduction to the Leibniz Hierarchy;Outstanding Contributions to Logic;2024
2. A NATURAL DEDUCTION SYSTEM FOR ORTHOMODULAR LOGIC;The Review of Symbolic Logic;2023-07-10
3. Natural Deduction for Quantum Logic;Logica Universalis;2022-08-05
4. Topos Theoretic Quantum Realism;The British Journal for the Philosophy of Science;2017-12-01
5. The Quasi-lattice of Indiscernible Elements;Studia Logica;2010-12-25