Matrices, primitive satisfaction and finitely based logics
- 1 March 1983
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 42 (1) , 89-104
- https://doi.org/10.1007/bf01418762
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Equivalential logics (I)Studia Logica, 1981
- Equivalential logics (II)Studia Logica, 1981
- Some theorems on structural consequence operationsStudia Logica, 1975
- Primitive satisfaction and equational problems for lattices and other algebrasTransactions of the American Mathematical Society, 1974
- Matrix approach in methodology of sentential calculiStudia Logica, 1973