Geodesic
K axiomatisaci trojhodnotové výrokové logiky
Časopis pro pěstování matematiky, Tome 86 (1961) no. 4, pp. 392-403

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

DOI MR   Zbl

DOI : 10.21136/CPM.1961.117388
Classification : 02-25 
Mleziva, Miroslav. K axiomatisaci trojhodnotové výrokové logiky. Časopis pro pěstování matematiky, Tome 86 (1961) no. 4, pp. 392-403. doi: 10.21136/CPM.1961.117388
@article{10_21136_CPM_1961_117388,
     author = {Mleziva, Miroslav},
     title = {K axiomatisaci trojhodnotov\'e v\'yrokov\'e logiky},
     journal = {\v{C}asopis pro p\v{e}stov\'an{\'\i} matematiky},
     pages = {392--403},
     year = {1961},
     volume = {86},
     number = {4},
     doi = {10.21136/CPM.1961.117388},
     mrnumber = {0131971},
     zbl = {0100.00902},
     language = {cs},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/CPM.1961.117388/}
}
TY  - JOUR
AU  - Mleziva, Miroslav
TI  - K axiomatisaci trojhodnotové výrokové logiky
JO  - Časopis pro pěstování matematiky
PY  - 1961
SP  - 392
EP  - 403
VL  - 86
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CPM.1961.117388/
DO  - 10.21136/CPM.1961.117388
LA  - cs
ID  - 10_21136_CPM_1961_117388
ER  - 
%0 Journal Article
%A Mleziva, Miroslav
%T K axiomatisaci trojhodnotové výrokové logiky
%J Časopis pro pěstování matematiky
%D 1961
%P 392-403
%V 86
%N 4
%U http://geodesic.mathdoc.fr/articles/10.21136/CPM.1961.117388/
%R 10.21136/CPM.1961.117388
%G cs
%F 10_21136_CPM_1961_117388

[1] E. L. Post: Introduction to a General Theory of Elementary Propositions. American Journal of Mathematics, vol. 43 (1921), 163-185. | MR

[2] J. Łukasiewicz: Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls. Comptes rendus des séances de la Socièté des Sciences et des Lettres de Varsovie, Classe III, vol. 23 (1930), 51-77.

[3] J. Słupecki: Der volle dreiwertige Aussagenkalkül. Comptes rendus des seances de la Socièté des Sciences et des Lettres de Varsovie, Classe III, vol. 29 (1936), 9-11.

[4] J. Słupecki: Pełny trójwartościowy rachunek zdań. Annales Univ. M. Curie-Skłodowska (Lublin), vol., 1, no. 3, Sect. F (1946), 193-209.

[5] M. Mleziva: Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls. Rozpravy ČSAV, řada společenských věd, 1959, seš. 12.

[6] J. Łukasiewicz: The Shortest Axiom of the Implicational Calculus of Propositions. Proc. of the Royal Irish Acad.,, Vol. 52, Sect. A, No. 3, 25-33. | MR

Cité par Sources :