Title:
|
K axiomatisaci trojhodnotové výrokové logiky (Czech) |
Title:
|
On the axiomatization of three-valued propositional logic (English) |
Author:
|
Mleziva, Miroslav |
Language:
|
Czech |
Journal:
|
Časopis pro pěstování matematiky |
ISSN:
|
0528-2195 |
Volume:
|
86 |
Issue:
|
4 |
Year:
|
1961 |
Pages:
|
392-403 |
Summary lang:
|
English |
Summary lang:
|
Russian |
. |
Category:
|
math |
. |
MSC:
|
02-25 |
idZBL:
|
Zbl 0100.00902 |
idMR:
|
MR0131971 |
DOI:
|
10.21136/CPM.1961.117388 |
. |
Date available:
|
2009-09-23T07:19:03Z |
Last updated:
|
2020-07-28 |
Stable URL:
|
http://hdl.handle.net/10338.dmlcz/117388 |
. |
Reference:
|
[1] E. L. Post: Introduction to a General Theory of Elementary Propositions.American Journal of Mathematics, vol. 43 (1921), 163-185. MR 1506440 |
Reference:
|
[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. |
Reference:
|
[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. |
Reference:
|
[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. |
Reference:
|
[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. |
Reference:
|
[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 0026017 |
. |