Number of the records: 1
Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic
- 1.CINTULA, Petr, METCALFE, G. Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic. Annals of Pure and Applied Logic. 2010, 162(2), 162-171. ISSN 0168-0072. E-ISSN 1873-2461. Available: doi: 10.1016/j.apal.2010.09.001
Number of the records: 1