Reference17 articles.
1. [3] Cutland, N. J., and P. F. Gibbins, "A regular sequent calculus for quantum logic in which $\wedge$" and $\vee$ are dual, Logique et Analyse. Nouvelle Série, vol. 25 (1982), pp. 221--48.
2. [4] Czermak, J., "A remark on Gentzen's calculus of sequents", Notre Dame Journal of Formal Logic, vol. 18 (1977), pp. 471--74.
3. [5] Goldblatt, R. I., "Semantic analysis of orthologic", Journal of Philosophical Logic, vol. 3 (1974), pp. 19--35.
4. [6] Goodman, N. D., "The logic of contradiction", Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 27 (1981), pp. 119--26.
5. [7] Goré, R., "Dual intuitionistic logic revisited", pp. 252--67 in Automated Reasoning with Analytic Tableaux and Related Methods (St. Andrews, 2000), vol. 1847 of Lecture Notes in Computer Science, Springer, Berlin, 2000.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献