On an axiom system for a calculus of strict implication
Algebra i logika, Tome 3 (1964) no. 3, pp. 59-68
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1964_3_3_a4,
author = {L. L. Maksimova},
title = {On an axiom system for a calculus of strict implication},
journal = {Algebra i logika},
pages = {59--68},
publisher = {mathdoc},
volume = {3},
number = {3},
year = {1964},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1964_3_3_a4/}
}
L. L. Maksimova. On an axiom system for a calculus of strict implication. Algebra i logika, Tome 3 (1964) no. 3, pp. 59-68. http://geodesic.mathdoc.fr/item/AL_1964_3_3_a4/