scientific article; zbMATH DE number 7416558

zbMath1472.03071MaRDI QIDQ5160381

Xiao Yun Cheng, Jun Tao Wang

Publication date: 28 October 2021

Full work available at URL: http://yokohamapublishers.jp/online2/opjnca/vol20/p1223.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

state operatorstate-morphism operatorhyper equality algebrastate (regular) congruence relationstate strong hyper deductive system

Mathematics Subject Classification ID

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