Previous |  Up |  Next

Article

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
.

Files

Files Size Format View
CasPestMat_086-1961-4_2.pdf 1.550Mb application/pdf View/Open
Back to standard record
Partner of
EuDML logo