scientific article; zbMATH DE number 6795677

DOI10.3770/J.ISSN:2095-2651.2017.02.006MaRDI QIDQ5368316zbMATH OpenFDO

Authors Xiaoyun Cheng, Xiaolong Xin, Yongwei Yang

Publication date 20 October 2017

Full work available at URL https://doi.org/10.3770/J.ISSN:2095-2651.2017.02.006

zbMATH Keywords

deductive systemhyper EQ-algebrareflexive subsetsemiclosed subset

Mathematics Subject Classification ID

Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35)

Recommendations

• Strong hyper deductive systems in hyper equality algebras
• scientific article; zbMATH DE number 2144728
• scientific article; zbMATH DE number 874277
• Hyper MV-deductive systems of hyper MV-algebras
• scientific article; zbMATH DE number 1457331
• scientific article; zbMATH DE number 2166585
• Deductive systems of pseudo-M algebras
• Deductive systems and the decidability problem for hybrid logics
• Deductive systems of GE-algebras
• Deductive systems of BL-algebras

Cited in

(9)

• Filter theory on hyper equality algebras
• On the deductive system of the order of an equationally orderable quasivariety
• Hyper MV-deductive systems of hyper MV-algebras
• New types of hyper MV-deductive systems in hyper MV-algebras
• scientific article; zbMATH DE number 1775481 (Why is no real title available?)
• scientific article; zbMATH DE number 2149944 (Why is no real title available?)
• scientific article; zbMATH DE number 2119403 (Why is no real title available?)
• Strong hyper deductive systems in hyper equality algebras
• scientific article; zbMATH DE number 6401679 (Why is no real title available?)

This page was built for publication:

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