Skip to main content
Log in

Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

Authors

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

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s001530200144

Keywords

Navigation