Axiomatizing logics closely related to varieties
type: Item
instance of: scholarly article
title: Axiomatizing logics closely related to varieties
zbMATH Open document ID: 0749.03020
DOI: 10.1007/BF00370686
author: Wolfgang Rautenberg
published in: Studia Logica
publication date: 1992-09-27T00:00:00Z
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 08C10
zbMATH DE Number: 58414
zbMATH Keywords: logic defined by matrices
zbMATH Keywords: strongly finitely based variety of algebras
zbMATH Keywords: axiomatization criterion
MaRDI profile type: Publication
cites work: On the structure of varieties with equationally definable principal congruences. I
cites work: Joins and Direct Products of Equational Classes
cites work: Axiomatization of the De Morgan type rules
cites work: On a fragment of the implicative propositional calculus
cites work: Q3760525
cites work: Axiomatization of semigroup consequences
cites work: Strongly finitely based equational theories
cites work: Q5508275
full work available at URL: https://doi.org/10.1007/bf00370686
OpenAlex ID: W1991062829
description: scientific article; zbMATH DE number 58414