Literatur
Schütte, K.: Vollständige Systeme modaler und intuitionistischer Logik. Springer-Verlag, Berlin-Heidelberg-New York 1968.
Schütte, K.: Zur Semantik der intuitionistischen Aussagenlogik. In: Contributions to Mathematical Logic (ed. by H.A. Schmidt, K. Schüttel, H.-J. Thiele), S. 231–235. Amsterdam: 1968.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Czermak, J. Ein Vollständigkeitsbeweis Für Die Aussagenlogischen ModalitätensystemeM, S 4,Br UndS 5. Arch math Logik 17, 45–49 (1975). https://doi.org/10.1007/BF02280813
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02280813