An investigation of the propositional calculus used in a particular system of logic
- 24 October 1954
- journal article
- Published by Cambridge University Press (CUP) in Mathematical Proceedings of the Cambridge Philosophical Society
- Vol. 50 (4) , 495-512
- https://doi.org/10.1017/s0305004100029649
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Widerspruchsfreier Aufbau einer typenfreien LogikMathematische Zeitschrift, 1952
- Widerspruchsfreier Aufbau der Logik IThe Journal of Symbolic Logic, 1950
- Models of logical systemsThe Journal of Symbolic Logic, 1948
- Axiom schemes for m-valued propositions calculiThe Journal of Symbolic Logic, 1945
- On the use of dots as brackets in logical expressionsThe Journal of Symbolic Logic, 1937
- On the use of dots as brackets in logical expressionsThe Journal of Symbolic Logic, 1937