The work of the first author was supported by the Czech Ministry of Education under project MSM 212300013, by the Grant Agency of the Czech Republic under project GACR 201/02/1540, by the Grant Agency of the Czech Technical University in Prague under project CTU 0208613, and by Net CEEPUS SK-042.
The work of the second author was supported by grant IAA1030004 of the Grant Agency of the Academy of Sciences of the Czech Republic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Baaz: Infinite-valued Gödel logic with 0-1 projector and relativisations. In Gödel’96: Logical foundations of mathematics, computer science and physics. Ed. P. Hájek, Lecture notes in logic 6:23–33, 1996.
R. Cignoli, I.M.L. D’Ottaviano, D. Mundici: Algebraic Foundations of Many-Valued. Reasoning. Kluwer, Dordrecht, 1999.
P. Cintula: The ŁΠ and ŁΠ1/2 propositional and predicate logics. Fuzzy Sets and Systems 124/3:21–34, 2001.
A. Di Nola, A. Dvurečenskij: Product MV-algebras. Multiple-Valued Logic 6:193–215, No.1–2, 2001.
F. Esteva, L. Godo, F. Montagna: The ŁΠ and ŁΠ1/2 logics: two complete fuzzy. systems joining ŁLukasiewicz and product logics. Archive for Mathematical Logic 40:39–67, 2001.
L. Fuchs: Partially Ordered Algebraic Systems. Pergamon Press, Oxford, 1963.
P. Hájek: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht, 1998.
M. Henriksen, J. R. Isbell: Lattice-ordered Rings and Function Rings. Pacific J. Math. 12:533–565, 1962.
J. R. Isbell: Notes on Ordered Rings. Algebra Univ. 1:393–399, 1972.
J. Łukasiewicz: O logice trojwartosciowej (On three-valued logic) Ruch filozoficzny 5:170–171, 1920.
V. Novák, I. Perfilieva, J. Močkoř: Mathematical Principles of Fuzzy Logic. Kluwer, Norwell, 1999.
J. Pavelka: On Fuzzy Logic I,II,III. Zeitschr. f. math. Logic und Grundlagen der Math. 25:45–52,119–134,447–464, 1979.
G. Takeuti, S. Titani: Fuzzy Logic and Fuzzy Set Theory. Archive for Mathematical Logic 32:1–32, 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Horčík, R., Cintula, P. (2003). Extension of Łukasiewicz Logic by Product Connective. In: Bilgiç, T., De Baets, B., Kaynak, O. (eds) Fuzzy Sets and Systems — IFSA 2003. IFSA 2003. Lecture Notes in Computer Science, vol 2715. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44967-1_21
Download citation
DOI: https://doi.org/10.1007/3-540-44967-1_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40383-8
Online ISBN: 978-3-540-44967-6
eBook Packages: Springer Book Archive