Axiomatization of the De Morgan type rules

DOI10.1007/BF00370368MaRDI QIDQ2640587zbMATH OpenFDO

Authors 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

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

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

Cites work

• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 4010500 (Why is no real title available?)
• scientific article; zbMATH DE number 4101153 (Why is no real title available?)
• scientific article; zbMATH DE number 3790406 (Why is no real title available?)
• scientific article; zbMATH DE number 3245491 (Why is no real title available?)
• An algebraic approach to non-classical logics
• Axiomatization of semigroup consequences

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)