Implication in MV-algebras

DOI10.1007/S00012-004-1862-4zbMath1097.06011OpenAlexW1978889788MaRDI QIDQ2577699

Radomír Halaš, Jan Kühr, Ivan Chajda

Publication date: 6 January 2006

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

Full work available at URL: https://doi.org/10.1007/s00012-004-1862-4

zbMATH Keywords

MV-algebraimplication algebracommutative BCK-algebra

Mathematics Subject Classification ID

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

Related Items (9)

Unnamed Item ⋮ More about sharp and meager elements in Archimedean atomic lattice effect algebras ⋮ Triple representation theorem for orthocomplete homogeneous effect algebras ⋮ Filters of implication reducts of basic algebras. ⋮ Unnamed Item ⋮ On some generalizations of BCC-algebras ⋮ A non-associative generalization of MV-algebras ⋮ Join-semilattices whose sections are residuated PO-monoids ⋮ Operations and structures derived from non-associative MV-algebras

This page was built for publication: Implication in MV-algebras