Abstract.
The ŁΠ and logics were introduced by Godo, Esteva and Montagna. These logics extend many other known propositional and predicate logics, including the three mainly investigated ones (Gödel, product and Łukasiewicz logic).
The aim of this paper is to show some advances in this field. We will see further reduction of the axiomatic systems for both logics. Then we will see many other logics contained in the ŁΠ family of logics (namely logics induced by the continuous finitely constructed t-norms and Takeuti and Titani's fuzzy predicate logic).
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Explore related subjects
Discover the latest articles and news from researchers in related subjects, suggested using machine learning.Author information
Authors and Affiliations
Additional information
Received: 1 October 2000 / Revised version: 27 March 2002 / Published online: 5 November 2002
Partial support of the grant No. A103004/00 of the Grant agency of the Academy of Sciences of the Czech Republic is acknowledged.
Key words or phrases: Fuzzy logic – Łukasiewicz logic – Product logic
Rights and permissions
About this article
Cite this article
Cintula, P. Advances in the ŁΠ and logics. Arch. Math. Logic 42, 449–468 (2003). https://doi.org/10.1007/s00153-002-0152-0
Issue Date:
DOI: https://doi.org/10.1007/s00153-002-0152-0