On implication in MV-algebras

DOI10.1007/S00012-007-1978-4zbMath1117.06008OpenAlexW2155416711MaRDI QIDQ873745

Jānis Cīrulis

Publication date: 2 April 2007

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-007-1978-4

zbMATH Keywords

MV-algebraimplication algebraupper semilatticecommutative BCK-algebra

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) MV-algebras (06D35)

Related Items (1)

Triple representation theorem for orthocomplete homogeneous effect algebras

This page was built for publication: On implication in MV-algebras