On the first system of Lukasiewicz
Archivum Mathematicum (1969)
- Volume: 005, Issue: 4, page 207-214
- ISSN: 0044-8753
Access Full Article
topHow to cite
topSade, Albert. "Sur le premier système de Lukasiewicz." Archivum Mathematicum 005.4 (1969): 207-214. <http://eudml.org/doc/15873>.
@article{Sade1969,
author = {Sade, Albert},
journal = {Archivum Mathematicum},
language = {fre},
number = {4},
pages = {207-214},
publisher = {Department of Mathematics, Faculty of Science of Masaryk University, Brno},
title = {Sur le premier système de Lukasiewicz},
url = {http://eudml.org/doc/15873},
volume = {005},
year = {1969},
}
TY - JOUR
AU - Sade, Albert
TI - Sur le premier système de Lukasiewicz
JO - Archivum Mathematicum
PY - 1969
PB - Department of Mathematics, Faculty of Science of Masaryk University, Brno
VL - 005
IS - 4
SP - 207
EP - 214
LA - fre
UR - http://eudml.org/doc/15873
ER -
References
top- Y. Arai, On axiom Systems of Propositional Calculi, II, Proc. Japan Acad. 41, (1965), N° 98, pp. 440-442. (1965) Zbl0223.02008MR0184843
- E. Catalan, Addition à une note sur une équation aux différences finies, Journ. Math. pures appl. 4, (1839), 95-99.
- Y. Imai K. Iseki, On axiom Systems of Propositional Calculi, I, Proc. Japan Acad. 41, (1965), N° 97, 436-439. (1965) MR0184842
- Jan Lukasiewicz, Elementy logiki matematycznei, Warszawa-Oxford (1963). (1963)
- P. S. Novikov, Elementi Matematicheskoi Logiki, Moscou (1959). (1959) MR0114746
- A. N. Prior, Formal Logic, Oxford, (1963). (1963) MR0074344
- A. Sade, Morphismes sur le groupoide ternaire des opérateurs propositionnels, Ann. Soc. Sci. Bruxelles, 83, (1969), 19-33, Notices Amer. Math. Soc. 16, (1969), 323, N° 69T-E6. (1969) Zbl0174.01103MR0252192
- A. Sade, Fonctions Propositionnelles Monadiques dans la Logique Trivalente, Ann. Soc. Sci. Bruxelles, 83, (1969), pp. 202-213 Notices 16, (1969), 579, N° 69T-E32. (1969) Zbl0175.26401MR0250853
- A. Sade, Sur les axiomes de GÖTLIND, Notre-Dame Journal of Formal Logic, XI, (1970), pp. 81.83 88 Notices Amer. Math. Soc. 16, (1969), Aout. 69T-E53, p. 841. (1970) Zbl0169.29801MR0290931
- J. Slupecki, Le calcul complet des propositions à 3 valeurs logiques, Ann. Univ. Maria Curie Sklodowska, Sect. F. 1, (1949), 193-209. (1949) MR0025415
- A. Weil, Calcul des probabilités, méthode axiomatique, Rev. Sci. 78 (1940), 201-208. (1940) Zbl0063.08196MR0002031
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.