Hyper-Archimedean BL-algebras are MV-algebras
From MaRDI portal
Publication:3437041
DOI10.1002/MALQ.200610037zbMath1118.06006OpenAlexW1978278419MaRDI QIDQ3437041
Publication date: 11 May 2007
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200610037
Related Items (2)
The Archimedean property: new horizons and perspectives ⋮ \(n\)-fold implicative basic logic is Gödel logic
Cites Work
This page was built for publication: Hyper-Archimedean BL-algebras are MV-algebras