Product Lukasiewicz Logic

0105219 - UIVT-O 20040210 RIV DE eng J - Journal Article
Horčík, Rostislav - Cintula, Petr
Product Lukasiewicz Logic.
[Produkt-Lukasiewiczova logika.]
Archive for Mathematical Logic. Roč. 43, - (2004), s. 477-503. ISSN 0933-5846. E-ISSN 1432-0665
R&D Projects: GA AV ČR IAA1030004; GA ČR GA201/02/1540
Grant - others:GA CTU(CZ) project 0208613; net CEEPUS(SK) SK-042
Institutional research plan: CEZ:AV0Z1030915
Keywords : fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
Subject RIV: BA - General Mathematics
Impact factor: 0.523, year: 2003

Cited: 29

--- MARCHIONI, E. Possibilistic conditioning framed in fuzzy logics. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING. ISSN 0888-613X, OCT 2006, vol. 43, no. 2, p. 133-165. [WOS]
--- MA, Y.C. - HE, H.C. The axiomatization for 0-level universal logic. ADVANCES IN MACHINE LEARNING AND CYBERNETICS. ISSN 0302-9743, 2006, vol. 3930, p. 367-376. [WOS]
--- SAVICKY, P. - CIGNOLI, R. - ESTEVA, F. - GODO, L. - NOGUERA, C. On product logic with truth-constants. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, APR 2006, vol. 16, no. 2, p. 205-225. [WOS]
--- HOLENA, M. Extraction of fuzzy logic rules from data by means of artificial neural networks. KYBERNETIKA. ISSN 0023-5954, 2005, vol. 41, no. 3, p. 297-314. [WOS]
--- VETTERLEIN, T. Partial algebras for Lukasiewicz logics and its extensions. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, OCT 2005, vol. 44, no. 7, p. 913-933. [WOS]
--- GOTTWALD, S. Mathematical fuzzy logic as a tool for the treatment of vague information. INFORMATION SCIENCES. ISSN 0020-0255, JUN 9 2005, vol. 172, no. 1-2, p. 41-71. [WOS]
--- ESTEVA, F. - GISPERT, J. - GODO, L. - NOGUERA, C. Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, MAR 16 2007, vol. 158, no. 6, p. 597-618. [WOS]
--- MARCHIONI, E. Uncertainty as a Modality over T-norm Based Logics. NEW DIMENSIONS IN FUZZY LOGIC AND RELATED TECHNOLOGIES, VOL I, PROCEEDINGS. 2007, p. 169-176. [WOS]
--- FREYTES, H. Pavelka-style completeness in expansions of Lukasiewicz logic. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, JUN 2008, vol. 47, no. 1, p. 15-23. [WOS]
--- FLAMINIO, T. Strong non-standard completeness for fuzzy logics. SOFT COMPUTING. ISSN 1432-7643, FEB 2008, vol. 12, no. 4, p. 321-333. [WOS]
--- GOTTWALD, S. Foundations of a set theory for fuzzy sets. 40 years of development. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS. ISSN 0308-1079, 2008, vol. 37, no. 1, p. 69-81. [WOS]
--- GOTTWALD, S. Foundations of a set theory for fuzzy sets. 40 Years of development. NAFIPS 2005 - 2005 ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY. 2005, p. 104-109. [WOS]
--- MA, Y.C. - HE, H.C. A propositional calculus formal deductive system ULh epsilon(0,1) of universal logic. PROCEEDINGS OF 2005 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-9. 2005, p. 2716-2721. [WOS]
--- GOTTWALD, S. - HAJEK, P. Triangular norm-based mathematical fuzzy logics. Logical, Algebraic, Analytic, and Probabilistic Aspects of Triangular Norms. 2005, p. 275-299. [WOS]
--- HOLENA, M. Neural networks for extraction of fuzzy logic rules with application to EEG data. Adaptive and Natural Computing Algorithms. 2005, p. 369-372. [WOS]
--- MONTAGNA, F. - NOGUERA, C. Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, APR 2010, vol. 20, no. 2, p. 399-424. [WOS]
--- HANIKOVA, Z. Expanding Basic Fuzzy Logic with truth constants for component delimiters. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, JUN 16 2012, vol. 197, p. 95-107. [WOS]
--- Esteva, F. - Godo, L. - Marchioni, E. Fuzzy Logics with Enriched Language. Handbook of Mathematical Fuzzy Logic - Vol. 2. London : College Publications, 2011, P. 627-711. 978-1-84890-054-7.
--- Dubois, D. - Esteva, F. - Godo, L. - Prade, H. Fuzzy-set Based Logics - An History-oriented Presentation of their Main Developments. Handbook of the History of Logic, Volume 8: The Many Valued and Non-monotonic Turn in Logic, Elsevier, p.325-449 (2007)
--- FREYTES, H. Equational type characterization for sigma-complete MV-algebras. ALGEBRA UNIVERSALIS. ISSN 0002-5240, APR 2013, vol. 69, no. 2, p. 139-166. [WOS]
--- FREYTES, H. - DOMENECH, G. Quantum computational logic with mixed states. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, FEB 2013, vol. 59, no. 1-2, p. 27-50. [WOS]
--- TAKACI, A. - PEROVIC, A. - JOVANOVIC, A. Interpreting GPFCSP within the L Pi 1/2 logic framework. FILOMAT. ISSN 0354-5180, 2013, vol. 27, no. 5, p. 889-897. [WOS]
--- FLAMINIO, T. - GODO, L. Layers of zero probability and stable coherence over Aukasiewicz events. SOFT COMPUTING. ISSN 1432-7643, JAN 2017, vol. 21, no. 1, SI, p. 113-123. [WOS]
--- LAPENTA, S. - LEUSTEAN, I. A General View on Normal Form Theorems for Lukasiewicz Logic with Product. CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE. ISSN 2198-235X, 2016, vol. 6, p. 215-228. [WOS]
--- LAPENTA, S. - LEUSTEAN, I. Towards understanding the Pierce-Birkhoff conjecture via MV-algebras. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, OCT 1 2015, vol. 276, p. 114-130. [WOS]
--- LEDDA, A. - PAOLI, F. - TSINAKIS, C. Lattice-theoretic properties of algebras of logic. JOURNAL OF PURE AND APPLIED ALGEBRA. ISSN 0022-4049, OCT 2014, vol. 218, no. 10, p. 1932-1952. [WOS]
--- Novák, V. A Concise Glance at the History of Fuzzy logic in Czechia (with a Glimpse of the Origin of Data-Mining - the GUHA Method). In Logic in Central and Eastern Europe. History, Science and Discourse. University Press of America 2013, p.526-542
--- FLAMINIO, T. - HOSNI, H. - LAPENTA, S. Convex MV-Algebras: Many-Valued Logics Meet Decision Theory. STUDIA LOGICA. ISSN 0039-3215, OCT 2018, vol. 106, no. 5, SI, p. 913-945. [WOS]
--- Noguera, C. Algebraic study of axiomatic extensions of triangular norm based fuzzy logics. Bellaterra Institut d'Investigació en Intel·ligència Artificial, 2007. Monografies de l'Institut d'Investigació en Intel-ligencia Artificial 27. ISBN 978-84-00-08538-4.

Permanent Link: http://hdl.handle.net/11104/0012466