Strong hyper deductive systems in hyper equality algebras

DOI10.6040/J.ISSN.1671-9352.0.2018.587zbMATH Open1449.03050MaRDI QIDQ5209845FDOQ5209845

Authors: Xiaoyun Cheng, Xiaolong Xin 

Publication date: 22 January 2020

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

zbMATH Keywords

hyper equality algebraimplicative strong deductive systemstrong hyper deductive system

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Cited In (6)

• Hyper MV-deductive systems of hyper MV-algebras
• State hyper equality algebras
• Filter theory on hyper equality algebras
• Title not available (Why is that?)
• STRONG DEDUCTIVE SYSTEMS OF BL-ALGEBRAS
• Definition of strong equality of tautologies and universal system for various propositional logics.

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)