Triangular Norm Based Predicate Fuzzy Logics

Cintula, Petr - Hájek, Petr
Triangular Norm Based Predicate Fuzzy Logics.
Fuzzy Sets and Systems. Roč. 161, č. 3 (2010), s. 311-346. ISSN 0165-0114. E-ISSN 1872-6801
Impakt faktor: 1.875, rok: 2010
http://hdl.handle.net/11104/0174750

Citováno: 57

--- GOTTWALD, S. Toward problems for mathematical fuzzy logic. 2006 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-5. ISSN 1544-5615, 2006, p. 1649-1654. [WOS]
--- MONTAGNA, F. - NOGUERA, C. - HORCIK, R. On weakly cancellative fuzzy logics. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, AUG 2006, vol. 16, no. 4, p. 423-450. [WOS]
--- PAN, X.D. - XU, Y. Semantic theory of finite lattice-valued propositional logic. SCIENCE CHINA-INFORMATION SCIENCES. ISSN 1674-733X, OCT 2010, vol. 53, no. 10, p. 2022-2031. [WOS]
--- GARCIA-CERDANA, A. - ARMENGOL, E. - ESTEVA, F. Fuzzy Description Logics and t-norm based fuzzy logics. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING. ISSN 0888-613X, JUL 2010, vol. 51, no. 6, p. 632-655. [WOS]
--- JIANG, Y.C. - TANG, Y. - WANG, J. - DENG, P.M. - TANG, S.Q. Expressive fuzzy description logics over lattices. KNOWLEDGE-BASED SYSTEMS. ISSN 0950-7051, MAR 2010, vol. 23, no. 2, p. 150-161. [WOS]
--- DELLUNDE, P. On Reduced Semantics for Fuzzy Predicate Logics. PROCEEDINGS OF THE JOINT 2009 INTERNATIONAL FUZZY SYSTEMS ASSOCIATION WORLD CONGRESS AND 2009 EUROPEAN SOCIETY OF FUZZY LOGIC AND TECHNOLOGY CONFERENCE. 2009, p. 414-419. [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]
--- NOVAK, V. Reasoning about mathematical fuzzy logic and its future. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, APR 1 2012, vol. 192, SI, p. 25-44. [WOS]
--- DELLUNDE, P. Revisiting Ultraproducts in Fuzzy Predicate Logics. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING. ISSN 1542-3980, 2012, vol. 19, no. 1-3, SI, p. 95-108. [WOS]
--- BIANCHI, M. - MONTAGNA, F. n-Contractive BL-logics. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, MAY 2011, vol. 50, no. 3-4, p. 257-285. [WOS]
--- 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)
--- QIU, D. - ZHANG, W.Q. - LI, C. On nonlinear functional spaces based on triangular conorms. JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS. ISSN 0022-247X, JAN 15 2013, vol. 397, no. 2, p. 671-677. [WOS]
--- PAN, X.D. - MENG, D. Triangular norm based graded convex fuzzy sets. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, DEC 16 2012, vol. 209, p. 1-13. [WOS]
--- DELLUNDE, P. Preserving mappings in fuzzy predicate logics. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, DEC 2012, vol. 22, no. 6, p. 1367-1389. [WOS]
--- GOTTWALD, S. An early approach toward graded identity and graded membership in set theory. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, SEP 16 2010, vol. 161, no. 18, SI, p. 2369-2379. [WOS]
--- CERAMI, M. - GARCIA-CERDANA, A. - ESTEVA, F. From Classical Description Logic to n-graded Fuzzy Description Logic. 2010 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE 2010). ISSN 1098-7584, 2010. [WOS]
--- DELLUNDE, P. Revisiting Ultraproducts in Fuzzy Predicate Logics. 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010. ISSN 0195-623X, 2010, p. 134-139. [WOS]
--- RAJATI, M.R. - KHALOOZADEH, H. - PEDRYCZ, W. Fuzzy logic and self-referential reasoning: a comparative study with some new concepts. ARTIFICIAL INTELLIGENCE REVIEW. ISSN 0269-2821, MAR 2014, vol. 41, no. 3, p. 331-357. [WOS]
--- DELLUNDE, P. Applications of ultraproducts: from compactness to fuzzy elementary classes. LOGIC JOURNAL OF THE IGPL. ISSN 1367-0751, FEB 2014, vol. 22, no. 1, p. 166-180. [WOS]
--- PAN, X.D. - MENG, D. - XU, Y. Syntax theory of finite lattice-valued propositional logic. SCIENCE CHINA-INFORMATION SCIENCES. ISSN 1674-733X, AUG 2013, vol. 56, no. 8. [WOS]
--- BAGHERI, S.M. - MONIRI, M. PRESERVATION THEOREMS IN LUKASIEWICZ MODEL THEORY. IRANIAN JOURNAL OF FUZZY SYSTEMS. ISSN 1735-0654, JUN 2013, vol. 10, no. 3, p. 103-113. [WOS]
--- BIANCHI, M. First-order Nilpotent minimum logics: first steps. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, MAY 2013, vol. 52, no. 3-4, p. 295-316. [WOS]
--- GOTTWALD, S. Local and relativized local finiteness in t-norm based structures. INFORMATION SCIENCES. ISSN 0020-0255, APR 10 2013, vol. 228, p. 26-36. [WOS]
--- DELLUNDE, P. - ESTEVA, F. On elementary equivalence in fuzzy predicate logics. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, FEB 2013, vol. 52, no. 1-2, p. 1-17. [WOS]
--- KHORASANI, E.S. - RAHIMI, S. - CALVERT, W. Formalization of Generalized Constraint Language: A Crucial Prelude to Computing With Words. IEEE TRANSACTIONS ON CYBERNETICS. ISSN 2168-2267, FEB 2013, vol. 43, no. 1, p. 246-258. [WOS]
--- BIANCHI, M. The Variety Generated by all the Ordinal Sums of Perfect MV-Chains. STUDIA LOGICA. ISSN 0039-3215, FEB 2013, vol. 101, no. 1, p. 11-29. [WOS]
--- KRAJCA, P. - VYCHODIL, V. Foundations of Relational Similarity-Based Query Language RESIQL. 2013 IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTATIONAL INTELLIGENCE (FOCI). 2013, p. 15-23. [WOS]
--- VYCHODIL, V. Pseudovarieties of algebras with fuzzy equalities. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, FEB 1 2015, vol. 260, p. 110-120. [WOS]
--- BRADIC, M. - MADARASZ, R. Construction of finite L-groups. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, JUL 16 2014, vol. 247, p. 151-164. [WOS]
--- QIU, D. - LU, C.X. On Properties of Pseudointegrals Based on Pseudoaddition Decomposable Measures. ABSTRACT AND APPLIED ANALYSIS. ISSN 1085-3375, 2014. [WOS]
--- ZHANG, X.H. - ZENG, X. First-order logic system IMTL*(Q) and triple I method in fuzzy reasoning with linguistic quantifiers. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS. ISSN 1064-1246, 2014, vol. 26, no. 5, p. 2359-2367. [WOS]
--- BIANCHI, M. - MONTAGNA, F. Supersound many-valued logics and Dedekind-MacNeille completions. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, DEC 2009, vol. 48, no. 8, p. 719-736. [WOS]
--- ESTEVA, F. - GODO, L. - NOGUERA, C. First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, NOV 2009, vol. 161, no. 2, p. 185-202. [WOS]
--- GOTTWALD, S. The Logic of Fuzzy Set Theory: A Historical Approach. PETR HAJEK ON MATHEMATICAL FUZZY LOGIC. ISSN 2211-2766, 2015, vol. 6, p. 41-61. [WOS]
--- COSTA, V. - DELLUNDE, P. On the existence of free models in fuzzy universal Horn classes. JOURNAL OF APPLIED LOGIC. ISSN 1570-8683, SEP 2017, vol. 23, SI, p. 3-15. [WOS]
--- VYCHODIL, V. Invariance to ordinal transformations in rank-aware databases. INFORMATION SCIENCES. ISSN 0020-0255, FEB 1 2017, vol. 378, p. 75-98. [WOS]
--- OGAARD, T.F. SKOLEM FUNCTIONS IN NON-CLASSICAL LOGICS.. AUSTRALASIAN JOURNAL OF LOGIC. ISSN 1448-5052, 2017, vol. 14, no. 1, SI, p. 181-225. [WOS]
--- VYCHODIL, V. Variety theorem for algebras with fuzzy orders. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, NOV 15 2016, vol. 303, p. 114-127. [WOS]
--- VAVERKA, O. - VYCHODIL, V. Relational division in rank-aware databases. INFORMATION SCIENCES. ISSN 0020-0255, OCT 20 2016, vol. 366, p. 48-69. [WOS]
--- VYCHODIL, V. Computing sets of graded attribute implications with witnessed non-redundancy. INFORMATION SCIENCES. ISSN 0020-0255, JUL 10 2016, vol. 351, p. 90-100. [WOS]
--- ARMENGOL, E. - DELLUNDE, P. - GARCIA-CERDANA, A. On similarity in fuzzy description logics. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, JUN 1 2016, vol. 292, SI, p. 49-74. [WOS]
--- VYCHODIL, V. On sets of graded attribute implications with witnessed non-redundancy. INFORMATION SCIENCES. ISSN 0020-0255, FEB 1 2016, vol. 329, SI, p. 434-446. [WOS]
--- GODO, L. - GOTTWALD, S. Fuzzy sets and formal logics. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, DEC 15 2015, vol. 281, SI, p. 44-60. [WOS]
--- BIANCHI, M. - MONTAGNA, F. Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL. STUDIA LOGICA. ISSN 0039-3215, DEC 2015, vol. 103, no. 6, p. 1163-1181. [WOS]
--- BELOHLAVEK, R. - VYCHODIL, V. Relational similarity-based model of data part 2: dependencies in data. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS. ISSN 0308-1079, 2018, vol. 47, no. 1, p. 1-50. [WOS]
--- GERLA, G. VAGUENESS AND FORMAL FUZZY LOGIC: Some criticisms. LOGIC AND LOGICAL PHILOSOPHY. ISSN 1425-3305, DEC 2017, vol. 26, no. 4, p. 431-460. [WOS]
--- DELLUNDE, P. - VIDAL, A. Truth-Preservation under Fuzzy pp-Formulas. INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS. ISSN 0218-4885, DEC 2019, vol. 27, SI, p. 89-105. [WOS]
--- ZHANG, D.X. - ZHANG, G. Continuous triangular norm based fuzzy topology. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, NOV 2019, vol. 58, no. 7-8, p. 915-942. [WOS]
--- LI, Y.J. - WANG, J.T. On TL-fuzzy ideals and their L-fuzzy roughness in lattices. ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS. ISSN 1126-8042, JUL 2019, no. 42, p. 208-222. [WOS]
--- GOTTWALD, S. Many-Valued and Fuzzy Logics. SPRINGER HANDBOOK OF COMPUTATIONAL INTELLIGENCE. 2015, p. 7-29. [WOS]
--- BIANCHI, M. First-order Nilpotent minimum logics: first steps. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, MAY 2013, vol. 52, no. 3-4, p. 295-316. [WOS]
--- ZHANG, X.H. - ZENG, X. Weak Completeness Theorem of Logic System MTLQ with Linguistic Quantifiers. 2011 AASRI CONFERENCE ON APPLIED INFORMATION TECHNOLOGY (AASRI-AIT 2011), VOL 1. 2011, p. 283-286. [WOS]
--- Krinninger, S. Combining supervaluation and fuzzy logic based theories of vagueness. Wien, 2011. Diploma Thesis. Technische Universität Wien, Fakultät für Informatik. http://hdl.handle.net/20.500.12708/9295.
--- Ganzer Ripoll, J. Lògica Fuzzy. Barcelona, 2015. Treball Final de Grau de Matemàtiques. Facultat de Matemàtiques, Universitat de Barcelona. http://hdl.handle.net/2445/68890.
--- Bianchi, M. On Some Axiomatic Extensions of the Monoidal T-norm Based Logic MTL: an Analysis in the Propositional and in the First-order Case. PhD Thesis 2011. Milano, Ledizioni LediPublishing. ISBN 978-88-95994-56-7. http://hdl.handle.net/2434/150078.
--- Ray, S.K. Soft Computing and Its Applications. Volume I: A Unified Engineering Concept. Toronto: Apple Academic Press, 2015. ISBN 978-1-4665-7818-0.
--- Ray, S.K. Soft Computing and Its Applications. Volume II: Fuzzy Reasoning and Fuzzy Control. Toronto: Apple Academic Press, 2014. ISBN 978-1-4822-5793-9.