Strong hyper deductive systems in hyper equality algebras

DOI10.6040/J.ISSN.1671-9352.0.2018.587MaRDI QIDQ5209845zbMATH OpenFDO

Authors Xiaoyun Cheng, Xiaolong Xin

Publication date 22 January 2020

zbMATH Keywords

hyper equality algebraimplicative strong deductive systemstrong hyper deductive system

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 6795677
• State hyper equality algebras
• Hyper MV-deductive systems of hyper MV-algebras
• New types of hyper MV-deductive systems in hyper MV-algebras
• STRONG DEDUCTIVE SYSTEMS OF BL-ALGEBRAS

Cited in

(6)

• Filter theory on hyper equality algebras
• Hyper MV-deductive systems of hyper MV-algebras
• Definition of strong equality of tautologies and universal system for various propositional logics.
• State hyper equality algebras
• scientific article; zbMATH DE number 6795677 (Why is no real title available?)
• STRONG DEDUCTIVE SYSTEMS OF BL-ALGEBRAS

This page was built for publication: Strong hyper deductive systems in hyper equality algebras

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