On algebras with a generalized implication

DOI10.2478/S12175-013-0146-XzbMath1324.03038OpenAlexW2079977836MaRDI QIDQ5746310

Yong Ho Yon, Kim, Kyung Ho

Publication date: 18 February 2014

Published in: Mathematica Slovaca (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/s12175-013-0146-x

zbMATH Keywords

BCK-algebrageneralized implication algebra

Mathematics Subject Classification ID

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

Cites Work

• Compatible elements in implicative models

This page was built for publication: On algebras with a generalized implication