Abstract.
We set up an axiomatic system for the logical connective implication within the framework of MV-algebras which generalizes implication in classical logic described similarly by J. C. Abbott. The induced structure (weak implication algebra) turns to be a join-semilattice whose principal filters are MV-algebras.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
Received October 2, 2003; accepted in final form March 17, 2004.
Rights and permissions
About this article
Cite this article
Chajda, I., Halaš, R. & Kühr, J. Implication in MV-algebras. Algebra univers. 52, 377–382 (2005). https://doi.org/10.1007/s00012-004-1862-4
Issue Date:
DOI: https://doi.org/10.1007/s00012-004-1862-4