Axiomatization of the De Morgan type rules

DOI10.1007/BF00370368zbMATH Open0721.03006MaRDI QIDQ2640587FDOQ2640587

Authors: Yanyan Li 

Publication date: 1990

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

Recommendations

• scientific article; zbMATH DE number 1309039
• scientific article; zbMATH DE number 5872210
• A calculus for the common rules of \(\wedge\) and \(\vee\)
• The poset-based logics for the De Morgan negation and set representation of partial dynamic De Morgan algebras
• Sequent calculi for semi-De Morgan and De Morgan algebras

zbMATH Keywords

consequence relationsequational theoriesfinitely basedlogical matrixDe Morgan type rulesequential rules

Mathematics Subject Classification ID

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

Cites Work

• An algebraic approach to non-classical logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Axiomatization of semigroup consequences
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Processes, Terms and Cycles: Steps on the Road to Infinity
• Axiomatizing logics closely related to varieties
• Replacement in logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2640587)