Methoden zur Axiomatisierung beliebiger Aussagen‐ und Prädikatenkalküle
- 1 January 1955
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 1 (4) , 241-251
- https://doi.org/10.1002/malq.19550010402
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Axiom schemes for m-valued propositions calculiThe Journal of Symbolic Logic, 1945
- Reviews - Karl Schröter. Ein allgemeiner Kalkülbegriff. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, new series, no. 6. Leipzig1941, 43 pp.The Journal of Symbolic Logic, 1943
- Completeness of the propositional calculusThe Journal of Symbolic Logic, 1938
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935
- Axiomatische Untersuchung des Aussagen-Kalkuls der ?Principia Mathematica?Mathematische Zeitschrift, 1926
- Introduction to a General Theory of Elementary PropositionsAmerican Journal of Mathematics, 1921