Axiomatizing logics closely related to varieties
- 1 January 1991
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 50 (3) , 607-622
- https://doi.org/10.1007/bf00370686
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Axiomatization of the De Morgan type rulesStudia Logica, 1990
- Theory of Logical CalculiPublished by Springer Nature ,1988
- On the structure of varieties with equationally definable principal congruences IAlgebra universalis, 1982
- Joins and Direct Products of Equational ClassesCanadian Mathematical Bulletin, 1969
- O pewnym fragmencie implikacyjnego rachunku zdańStudia Logica, 1955