On the axiomatization of three-valued propositional logic

Miroslav Mleziva

Časopis pro pěstování matematiky (1961)

  • Volume: 086, Issue: 4, page 392-403
  • ISSN: 0528-2195

How to cite


Mleziva, Miroslav. "K axiomatisaci trojhodnotové výrokové logiky." Časopis pro pěstování matematiky 086.4 (1961): 392-403. <http://eudml.org/doc/20754>.

author = {Mleziva, Miroslav},
journal = {Časopis pro pěstování matematiky},
keywords = {philosophy and foundations of mathematics},
language = {cze},
number = {4},
pages = {392-403},
publisher = {Mathematical Institute of the Czechoslovak Academy of Sciences},
title = {K axiomatisaci trojhodnotové výrokové logiky},
url = {http://eudml.org/doc/20754},
volume = {086},
year = {1961},

AU - Mleziva, Miroslav
TI - K axiomatisaci trojhodnotové výrokové logiky
JO - Časopis pro pěstování matematiky
PY - 1961
PB - Mathematical Institute of the Czechoslovak Academy of Sciences
VL - 086
IS - 4
SP - 392
EP - 403
LA - cze
KW - philosophy and foundations of mathematics
UR - http://eudml.org/doc/20754
ER -


  1. E. L. Post, Introduction to a General Theory of Elementary Propositions, American Journal of Mathematics, vol. 43 (1921), 163-185. (1921) MR1506440
  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. (1930) 
  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. (1936) 
  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. (1946) 
  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. (1959) 
  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. MR0026017

NotesEmbed ?


You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.


Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.