Abstract.
Using the theory of BL-algebras, it is shown that a propositional formula ϕ is derivable in Łukasiewicz infinite valued Logic if and only if its double negation ˜˜ϕ is derivable in Hájek Basic Fuzzy logic. If SBL is the extension of Basic Logic by the axiom (φ & (φ→˜φ)) → ψ, then ϕ is derivable in in classical logic if and only if ˜˜ ϕ is derivable in SBL. Axiomatic extensions of Basic Logic are in correspondence with subvarieties of the variety of BL-algebras. It is shown that the MV-algebra of regular elements of a free algebra in a subvariety of BL-algebras is free in the corresponding subvariety of MV-algebras, with the same number of free generators. Similar results are obtained for the generalized BL-algebras of dense elements of free BL-algebras.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 20 June 2001 / Published online: 2 September 2002
This paper was prepared while the first author was visiting the Universidad de Barcelona supported by INTERCAMPUS Program E.AL 2000. The second author was partially supported by Grants 2000SGR-0007 of D. G. R. of Generalitat de Catalunya and PB 97-0888 of D. G. I. C. Y. T. of Spain.
Mathematics Subject classification (2000): 03B50, 03B52, 03G25, 06D35
Keywords or Phrases: Basic fuzzy logic – Łukasiewicz logic – BL-algebras – MV-algebras – Glivenko's theorem
Rights and permissions
About this article
Cite this article
Cignoli, R., Torrens, A. Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic. Arch. Math. Logic 42, 361–370 (2003). https://doi.org/10.1007/s001530200144
Issue Date:
DOI: https://doi.org/10.1007/s001530200144