Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference34 articles.
1. Belnap Jr., N.D., Leblanc, H., Thomason, R.H.: On not strengthening intuitionistic logic. Notre Dame J. Form. Log. 4, 313–320 (1963)
2. Béziau, J.Y.: Rules, derived rules, permissible rules and the various types of systems of deduction. In: PRATICA, Pontif. Univ. Católica Rio de Janeiro, Rio de Janeiro, pp. 159–184 (1999)
3. Birkhoff, G.: Lattice Theory. American Mathematical Society, New York (1948)
4. Cintula, P., Metcalfe, G.: Admissible rules in the implication-negation fragment of intuitionistic logic. Ann. Pure Appl. Log. 162(2), 162–171 (2010)
5. Citkin, A.: On admissible rules of intuitionistic propositional logic. Math. USSR Sb. 31, 279–288 (1977)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献