�?lgebras de Hilbert n-valentes
Portugaliae mathematica, Tome 36 (1977) no. 3-4, pp. 159-173
Voir la notice de l'article provenant de la source European Digital Mathematics Library
Mots-clés :
many-valued Hilbert algebras, implicative algebra, Lindenbaum algebra of the implicative propositional intuitionistic calculus, axiom of Ivo Thomas, deductive systems
@article{PORMA_1977__36_3-4_115312,
author = {Monteiro, Luiz},
title = {�?lgebras de {Hilbert} n-valentes},
journal = {Portugaliae mathematica},
pages = {159--173},
publisher = {mathdoc},
volume = {36},
number = {3-4},
year = {1977},
mrnumber = {0597838},
zbl = {0488.03036},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/PORMA_1977__36_3-4_115312/}
}
Monteiro, Luiz. �?lgebras de Hilbert n-valentes. Portugaliae mathematica, Tome 36 (1977) no. 3-4, pp. 159-173. http://geodesic.mathdoc.fr/item/PORMA_1977__36_3-4_115312/