Deduction theorems for RM and its extensions
- 1 January 1979
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 38 (2) , 105-111
- https://doi.org/10.1007/bf00370436
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Algebraic completeness results for R-mingle and its extensionsThe Journal of Symbolic Logic, 1970
- Remarks on sentential logicsIndagationes Mathematicae, 1958