Publié le : 1975-07-14
Classification:
81.06,
06A30
@article{1093891789,
author = {Herman, L. and Marsden, E. L. and Piziak, R.},
title = {Implication connectives in orthomodular lattices.},
journal = {Notre Dame J. Formal Logic},
volume = {16},
number = {1},
year = {1975},
pages = { 305-328},
language = {en},
url = {http://dml.mathdoc.fr/item/1093891789}
}
Herman, L.; Marsden, E. L.; Piziak, R. Implication connectives in orthomodular lattices.. Notre Dame J. Formal Logic, Tome 16 (1975) no. 1, pp. 305-328. http://gdmltest.u-ga.fr/item/1093891789/