Publié le : 1988-09-14
Classification:
03B55,
03F05
@article{1093638020,
author = {Bori\v ci\'c, Branislav R.},
title = {On certain normalizable natural deduction formulations of some propositional intermediate logics.},
journal = {Notre Dame J. Formal Logic},
volume = {29},
number = {2},
year = {1988},
pages = { 563-568},
language = {en},
url = {http://dml.mathdoc.fr/item/1093638020}
}
Boričić, Branislav R. On certain normalizable natural deduction formulations of some propositional intermediate logics.. Notre Dame J. Formal Logic, Tome 29 (1988) no. 2, pp. 563-568. http://gdmltest.u-ga.fr/item/1093638020/