| 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 |
| . |
