scientific article

zbMath1332.06060MaRDI QIDQ2793296

Yang Xu

Publication date: 15 March 2016

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

zbMATH Keywords

lattice implication algebrasbounded commutative BCK algebrasbounded implicative BCK algebras

Mathematics Subject Classification ID

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

Related Items

\(L\)-valued propositional logic \(L_{\text{vpl}}\)