N-lattices and constructive logic with strong negation
Fundamenta Mathematicae, Tome 46 (1958) no. 1, pp. 61-80
Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
@article{10_4064_fm_46_1_61_80,
author = {H. Rasiowa},
title = {N-lattices and constructive logic with strong negation},
journal = {Fundamenta Mathematicae},
pages = {61--80},
publisher = {mathdoc},
volume = {46},
number = {1},
year = {1958},
doi = {10.4064/fm-46-1-61-80},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-46-1-61-80/}
}
H. Rasiowa. N-lattices and constructive logic with strong negation. Fundamenta Mathematicae, Tome 46 (1958) no. 1, pp. 61-80. doi: 10.4064/fm-46-1-61-80
Cité par Sources :