Axiomatization of the De Morgan type rules

DOI10.1007/BF00370368zbMath0721.03006MaRDI QIDQ2640587

Yanyan Li

Publication date: 1990

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

consequence relationsequational theoriesfinitely basedlogical matrixDe Morgan type rulesequential rules

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Abstract deductive systems (03B22)

Related Items (2)

Replacement in logic ⋮ Axiomatizing logics closely related to varieties

Cites Work

• An algebraic approach to non-classical logics
• Axiomatization of semigroup consequences
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Axiomatization of the De Morgan type rules