2-Element matrices
- 1 January 1981
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 40 (4) , 315-353
- https://doi.org/10.1007/bf00401653
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- A proof of Lyndon's finite basis theoremDiscrete Mathematics, 1980
- Matrix representations for structural strengthenings of a propositional logicStudia Logica, 1979
- A finite algebraA withSP(A) not elementaryAlgebra universalis, 1978
- Varieties generated by para primal algebrasAlgebra universalis, 1977
- The fine spectrum of a varietyAlgebra universalis, 1975
- Conditional identities in finite groupsSiberian Mathematical Journal, 1975
- Completeness of calculii for axiomatically defined classes of algebrasAlgebra universalis, 1972
- Functionally complete algebras generating distributive and permutable classesMathematische Zeitschrift, 1970
- Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger AussagenkalküleMathematical Logic Quarterly, 1960
- Identities in two-valued calculiTransactions of the American Mathematical Society, 1951