scientific article; zbMATH DE number 6854971

MaRDI QIDQ4609190zbMATH OpenFDO

Authors M. Zarean, R. A. Borzooei, Omid Zahiri

Publication date 29 March 2018

zbMATH Keywords

equality algebraequality-homomorphismstate deductive systemstate operatorstate-morphism operator

Mathematics Subject Classification ID

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

Recommendations

• States on EQ-algebras
• State pseudo-equality algebras
• Internal states on equality algebras
• State hyper equality algebras
• State theory on bounded hyper EQ-algebras
• EQ-algebras with internal states
• Generalized state maps and states on pseudo equality algebras
• The generalized states of EQ-algebras
• On state \({R_0}\)-algebras
• States on commutative basic algebras

Cited in

(12)

• Involutive equality algebras
• State theory on bounded hyper EQ-algebras
• States on the current algebra
• Internal states on equality algebras
• Tense like equality algebras
• Equality logic
• State hyper equality algebras
• States on basic algebras
• scientific article; zbMATH DE number 6264674 (Why is no real title available?)
• States on implication basic algebras
• Constructing symmetric equality algebras
• A state operator on the uE-algebra

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 Q4609190)