Publié le : 1991-12-14
Classification:
03B55,
03F05
@article{1093636019,
author = {Akama, Seiki},
title = {The Gentzen-Kripke construction of the intermediate logic LQ.},
journal = {Notre Dame J. Formal Logic},
volume = {32},
number = {2},
year = {1991},
pages = { 148-153},
language = {en},
url = {http://dml.mathdoc.fr/item/1093636019}
}
Akama, Seiki. The Gentzen-Kripke construction of the intermediate logic LQ.. Notre Dame J. Formal Logic, Tome 32 (1991) no. 2, pp. 148-153. http://gdmltest.u-ga.fr/item/1093636019/