Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference23 articles.
1. Chajda, I., Halaš, R.: An implication in orthologic. Int. J. Theor. Phys. 44, 735–744 (2005)
2. Chajda, I.: The axioms for implication in orthologic. Czechoslov. Math. J. 58, 15–21 (2008)
3. Cutland, N.J., Gibbins, P.F.: A regular sequent calculus for quantum logic in which $$\wedge $$ and $$\vee $$ are dual. Logique Anal. (N.S.) 25, 221–248 (1982)
4. Dalla Chiara, M.L., Giuntini, R.: Quantum logics. In: Gabbay, D.M., Guenthner, F. (eds.), Handbook of Philosophical Logic, vol. 6, Springer, pp. 129–228 (2002)
5. Delmas-Rigoutsos, Y.: A double deduction system for quantum logic based on natural deduction. J. Philos. Log. 26, 57–67 (1997)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献