Algebraic aspects of deduction theorems
- 1 January 1985
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 44 (4) , 369-387
- https://doi.org/10.1007/bf00370428
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Matrices, primitive satisfaction and finitely based logicsStudia Logica, 1983
- Equivalential logics (I)Studia Logica, 1981
- Varieties with equationally definable principal congruencesAlgebra universalis, 1980
- The lattice of modal logics: an algebraic investigationThe Journal of Symbolic Logic, 1980
- Reduced products of logical matricesStudia Logica, 1980
- Matrix approach in methodology of sentential calculiStudia Logica, 1973
- Algebraic completeness results for R-mingle and its extensionsThe Journal of Symbolic Logic, 1970
- Przegląd twierdzeń o dedukcji dla rachunków zdańStudia Logica, 1964
- Remarks on sentential logicsIndagationes Mathematicae, 1958