Distinguished Algebraic Semantics for t-norm Based Fuzzy Logics: Methods and Algebraic Equivalencies

Cintula, Petr - Esteva, F. - Gispert, J. - Godo, L. - Montagna, F. - Noguera, C.
Distinguished Algebraic Semantics for t-norm Based Fuzzy Logics: Methods and Algebraic Equivalencies.
Annals of Pure and Applied Logic. Roč. 160, č. 1 (2009), s. 53-81. ISSN 0168-0072. E-ISSN 1873-2461
Impakt faktor: 0.667, rok: 2009
http://hdl.handle.net/11104/0171757

Citováno: 118

--- WARNING: citations may occur twice, once with [SCOPUS] tag and once with [WOS] tag
--- 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]
--- BAAZ, M. - FASCHING, O. Godel logics with monotone operators. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, JUN 16 2012, vol. 197, p. 3-13. [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]
--- VAN GASSE, B. - CORNELIS, C. - DESCHRIJVER, G. - KERRE, E.E. The standard completeness of interval-valued monoidal t-norm based logic. INFORMATION SCIENCES. ISSN 0020-0255, APR 15 2012, vol. 189, p. 63-76. [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]
--- CODARA, P. - D'ANTONA, O.M. - MARRA, V. Valuations in Godel Logic, and the Euler Characteristic. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING. ISSN 1542-3980, 2012, vol. 19, no. 1-3, SI, p. 71-84. [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]
--- DIACONESCU, D. - GEORGESCU, G. Forcing operators on MTL-algebras. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, FEB 2011, vol. 57, no. 1, p. 47-64. [WOS]
--- Horcik, R. Algebraic Semantics: Semilinear FL-Algebras. Handbook of Mathematical Fuzzy Logic - Vol. 1. London : College Publications, 2011, P. 283-353. ISBN 978-1-84890-039-4.
--- 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]
--- BIANCHI, M. A temporal semantics for Nilpotent Minimum logic. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING. ISSN 0888-613X, JAN 2014, vol. 55, no. 1, 4, p. 391-401. [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]
--- 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]
--- NOVAK, V. Elements of model theory in higher-order fuzzy logic. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, OCT 16 2012, vol. 205, p. 101-115. [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]
--- VAN GASSE, B. - CORNELIS, C. - DESCHRIJVER, G. Interval-Valued Algebras and Fuzzy Logics. 35 YEARS OF FUZZY SET THEORY: CELEBRATORY VOLUME DEDICATED TO THE RETIREMENT OF ETIENNE E. KERRE. ISSN 1434-9922, 2010, vol. 261, p. 57-82. [WOS]
--- BIANCHI, M. The logic of the strongest and the weakest t-norms. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, OCT 1 2015, vol. 276, p. 31-42. [WOS]
--- ZHOU, B.K. - XU, G.Q. - LI, S.J. The Quintuple Implication Principle of fuzzy reasoning. INFORMATION SCIENCES. ISSN 0020-0255, MAR 10 2015, vol. 297, p. 202-215. [WOS]
--- AGUZZOLI, S. - MARRA, V. Two Principles in Many-Valued Logic. PETR HAJEK ON MATHEMATICAL FUZZY LOGIC. ISSN 2211-2766, 2015, vol. 6, p. 159-174. [WOS]
--- DE MANTARAS, R.L. A Survey of Artificial Intelligence Research at IIIA. AI MAGAZINE. ISSN 0738-4602, FAL 2014, vol. 35, no. 3, p. 86-97. [WOS]
--- YANG, E. Algebraic Kripke-Style Semantics for Relevance Logics. JOURNAL OF PHILOSOPHICAL LOGIC. ISSN 0022-3611, AUG 2014, vol. 43, no. 4, p. 803-826. [WOS]
--- BALDI, P. A note on standard completeness for some extensions of uninorm logic. SOFT COMPUTING. ISSN 1432-7643, AUG 2014, vol. 18, no. 8, p. 1463-1470. [WOS]
--- KRINNINGER, S. Validity in a logic that combines supervaluation and fuzzy logic based theories of vagueness. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, JUL 16 2014, vol. 247, p. 1-17. [WOS]
--- VEMURI, N.R. - JAYARAM, B. Representations through a monoid on the set of fuzzy implications. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, JUL 16 2014, vol. 247, p. 51-67. [WOS]
--- AGUZZOLI, S. - BIANCHI, M. - VALOTA, D. A Note on Drastic Product Logic. INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS, PT II. ISSN 1865-0929, 2014, vol. 443, p. 365-374. [WOS]
--- Běhounek, L. Logical Foundations of Fuzzy Mathematics. PhD thesis 2009, Charles University in Prague, Faculty of Arts
--- Novak, V. A brief history of fuzzy logic in the Czech Republic and the significance of P. Hajek for its development. Witnessed Years: Essays in Honour of Petr Hájek. London : College Publications, 2009, p. 209-226. ISBN 978-1-904987-63-5.
--- Van Gasse, B. Interval-valued algebras and fuzzy logics. PhD thesis, University of Ghent 2010
--- Garcıa-Cerdana, A. L`OGIQUES BASADES EN NORMES TRIANGULARS: UNA CONTRIBUCI´O A L’ESTUDI DELS SEUS ASPECTES SUBESTRUCTURALS. Phd Thesis. University of Barcelona 2007
--- GOTTWALD, S. Mathematical fuzzy logics. BULLETIN OF SYMBOLIC LOGIC. ISSN 1079-8986, JUN 2008, vol. 14, no. 2, p. 210-239. [WOS]
--- AGUZZOLI, S. - BIANCHI, M. On varieties singly generated by a well-connected FLew-algebra. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, AUG 1 2017, vol. 320, p. 60-63. [WOS]
--- AGUZZOLI, S. - BIANCHI, M. Single chain completeness and some related properties. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, OCT 15 2016, vol. 301, p. 51-63. [WOS]
--- AGUZZOLI, S. - BIANCHI, M. On some questions concerning the axiomatisation of WNM-algebras and their subvarieties. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, JUN 1 2016, vol. 292, SI, p. 5-31. [WOS]
--- BALDI, P. - TERUI, K. Densification of FL chains via residuated frames. ALGEBRA UNIVERSALIS. ISSN 0002-5240, APR 2016, vol. 75, no. 2, p. 169-195. [WOS]
--- BALDI, P. - CIABATTONI, A. Uniform proofs of standard completeness for extensions of first-order MTL. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, OCT 25 2015, vol. 603, p. 43-57. [WOS]
--- FLAMINIO, T. - BIANCHI, M. A NOTE ON SATURATED MODELS FOR MANY-VALUED LOGICS. MATHEMATICA SLOVACA. ISSN 0139-9918, AUG 2015, vol. 65, no. 4, p. 747-760. [WOS]
--- SHE, Y.H. - HE, X.L. Algebraic structures related to nilpotent minimum algebras and rough sets. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS. ISSN 1064-1246, 2015, vol. 29, no. 4, p. 1367-1380. [WOS]
--- AGUZZOLI, S. - BIANCHI, M. Minimally Many-Valued Extensions of the Monoidal t-Norm Based Logic MTL. FUZZY LOGIC AND SOFT COMPUTING APPLICATIONS, WILF 2016. ISSN 0302-9743, 2017, vol. 10147, p. 106-115. [WOS]
--- AGUZZOLI, S. - BIANCHI, M. - GERLA, B. - VALOTA, D. Free algebras, states and duality for the propositional Godel(Delta) and Drastic Product logics. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING. ISSN 0888-613X, JAN 2019, vol. 104, p. 57-74. [WOS]
--- LE, V.H. - TRAN, D.K. Extending fuzzy logics with many hedges. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, AUG 15 2018, vol. 345, p. 126-138. [WOS]
--- HE, P.F. - WANG, J.T. - ZHAO, B. Involutive Monoidal T-norm Based Algebras with Internal States. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING. ISSN 1542-3980, 2018, vol. 31, no. 5-6, p. 531-565. [WOS]
--- CHAKRABORTY, T. - JAJODIA, S. - PARK, N. - PUGLIESE, A. - SERRA, E. - SUBRAHMANIAN, V.S. Hybrid adversarial defense: Merging honeypots and traditional security methods. JOURNAL OF COMPUTER SECURITY. ISSN 0926-227X, 2018, vol. 26, no. 5, p. 615-645. [WOS]
--- AGUZZOLI, S. - BIANCHI, M. - VALOTA, D. The Classification of All the Subvarieties of DNMG. ADVANCES IN FUZZY LOGIC AND TECHNOLOGY 2017, VOL 1. ISSN 2194-5357, 2018, vol. 641, p. 12-24. [WOS]
--- BALDI, P. - CIABATTONI, A. - GULISANO, F. Standard completeness for extensions of IMTL. 2017 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE). ISSN 1098-7584, 2017. [WOS]
--- AGLIANO, P. - UGOLINI, S. Strictly join irreducible varieties of residuated lattices. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, JAN 2022, vol. 32, no. 1, p. 32-64. [WOS]
--- AGUZZOLI, S. - BIANCHI, M. Strictly join irreducible varieties of BL-algebras: The missing pieces. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, AUG 15 2021, vol. 418, SI, p. 84-100. [WOS]
--- FLAMINIO, T. On standard completeness and finite model property for a probabilistic logic on Lukasiewicz events. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING. ISSN 0888-613X, APR 2021, vol. 131, p. 136-150. [WOS]
--- AGLIANO, P. - UGOLINI, S. Rotation logics. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, JUN 1 2020, vol. 388, p. 1-25. [WOS]
--- BADIA, G. - OLKHOVIKOV, G. A Lindstrom theorem in many-valued modal logic over a finite MTL-chain. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, JUN 1 2020, vol. 388, p. 26-37. [WOS]
--- NOVAK, V. Subtypes in fuzzy type theory. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, MAY 15 2019, vol. 363, p. 66-83. [WOS]
--- AGUZZOLI, S. - BIANCHI, M. On linear varieties of MTL-algebras. SOFT COMPUTING. ISSN 1432-7643, APR 2019, vol. 23, no. 7, SI, p. 2129-2146. [WOS]
--- HANIKOVA, Z. Implicit definability of truth constants in Lukasiewicz logic. SOFT COMPUTING. ISSN 1432-7643, APR 2019, vol. 23, no. 7, SI, p. 2279-2287. [WOS]
--- METCALFE, G. - TSINAKIS, C. Density revisited. SOFT COMPUTING. ISSN 1432-7643, JAN 2017, vol. 21, no. 1, p. 175-189. [WOS]
--- GOTTWALD, S. Many-Valued and Fuzzy Logics. SPRINGER HANDBOOK OF COMPUTATIONAL INTELLIGENCE. 2015, p. 7-29. [WOS]
--- FLAMINIO, T. On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events. International Journal of Approximate Reasoning. 131, (2021), s. 136-150. ISSN 0888-613X. Dostupné z: <a href="http://dx.doi.org/10.1016/j.ijar.2020.12.023" data-target="_blank">doi: 10.1016/j.ijar.2020.12.023/a [SCOPUS]
--- AMIDEI, J., ERTOLA-BIRABEN, R. C., MONTAGNA, F. Conservative Expansions of Substructural Logics. Outstanding Contributions to Logic. 23, (2022), s. 339-368. ISSN 2211-2758. Dostupné z: <a href="http://dx.doi.org/10.1007/978-3-030-76920-8_10" data-target="_blank">doi: 10.1007/978-3-030-76920-8_10/a [SCOPUS]
--- AGUZZOLI, S., BIANCHI, M. Strictly join irreducible varieties of BL-algebras: The missing pieces. Fuzzy Sets and Systems. 418, (2021), s. 84-100. ISSN 0165-0114. Dostupné z: <a href="http://dx.doi.org/10.1016/j.fss.2020.12.008" data-target="_blank">doi: 10.1016/j.fss.2020.12.008/a [SCOPUS]
--- AGLIANÒ, P., UGOLINI, S. Rotation logics. Fuzzy Sets and Systems. 388, (2020), s. 1-25. ISSN 0165-0114. Dostupné z: <a href="http://dx.doi.org/10.1016/j.fss.2019.07.015" data-target="_blank">doi: 10.1016/j.fss.2019.07.015/a [SCOPUS]
--- BADIA, G., OLKHOVIKOV, G. A Lindström theorem in many-valued modal logic over a finite MTL-chain. Fuzzy Sets and Systems. 388, (2020), s. 26-37. ISSN 0165-0114. Dostupné z: <a href="http://dx.doi.org/10.1016/j.fss.2019.03.002" data-target="_blank">doi: 10.1016/j.fss.2019.03.002/a [SCOPUS]
--- WANG, J. T., SAEID, A. B., HE, P. F. Similarity MTL-algebras and Their Corresponding Logics. Journal of Multiple-Valued Logic and Soft Computing. 32, 5-6 (2019), s. 607-628. ISSN 1542-3980. [SCOPUS]
--- AGUZZOLI, S., BIANCHI, M., GERLA, B., VALOTA, D. Free algebras, states and duality for the propositional GödelinfΔ/inf and Drastic Product logics. International Journal of Approximate Reasoning. 104, (2019), s. 57-74. ISSN 0888-613X. Dostupné z: <a href="http://dx.doi.org/10.1016/j.ijar.2018.10.016" data-target="_blank">doi: 10.1016/j.ijar.2018.10.016/a [SCOPUS]
--- HANIKOVÁ, Zuzana. Implicit definability of truth constants in Łukasiewicz logic. Soft Computing. 23, 7 (2019), s. 2279-2287. ISSN 1432-7643. Dostupné z: <a href="http://dx.doi.org/10.1007/s00500-018-3461-x" data-target="_blank">doi: 10.1007/s00500-018-3461-x/a [SCOPUS]
--- AGUZZOLI, S., BIANCHI, M. On linear varieties of MTL-algebras. Soft Computing. 23, 7 (2019), s. 2129-2146. ISSN 1432-7643. Dostupné z: <a href="http://dx.doi.org/10.1007/s00500-018-3423-3" data-target="_blank">doi: 10.1007/s00500-018-3423-3/a [SCOPUS]
--- NOVÁK, V. Subtypes in fuzzy type theory. Fuzzy Sets and Systems. 363, (2019), s. 66-83. ISSN 0165-0114. Dostupné z: <a href="http://dx.doi.org/10.1016/j.fss.2018.06.011" data-target="_blank">doi: 10.1016/j.fss.2018.06.011/a [SCOPUS]
--- HE, P., WANG, J., ZHAO, B. Involutive monoidal t-norm based algebras with internal states. Journal of Multiple-Valued Logic and Soft Computing. 31, 5-6 (2018), s. 531-565. ISSN 1542-3980. [SCOPUS]
--- CHAKRABORTY, T., JAJODIA, S., PARK, N., PUGLIESE, A., SERRA, E., SUBRAHMANIAN, V. S. Hybrid adversarial defense: Merging honeypots and traditional security methods1. Journal of Computer Security. 26, 5 (2018), s. 615-645. ISSN 0926-227X. Dostupné z: <a href="http://dx.doi.org/10.3233/JCS-171094" data-target="_blank">doi: 10.3233/JCS-171094/a [SCOPUS]
--- LE, V. H., TRAN, D. K. Extending fuzzy logics with many hedges. Fuzzy Sets and Systems. 345, (2018), s. 126-138. ISSN 0165-0114. Dostupné z: <a href="http://dx.doi.org/10.1016/j.fss.2018.01.014" data-target="_blank">doi: 10.1016/j.fss.2018.01.014/a [SCOPUS]
--- AGUZZOLI, S., BIANCHI, M., VALOTA, D. The classification of all the subvarieties of DNMG. Advances in Intelligent Systems and Computing. 2018. 641, (2018), s. 12-24. ISBN 9783319668291. ISSN 2194-5357. Dostupné z: <a href="http://dx.doi.org/10.1007/978-3-319-66830-7_2" data-target="_blank">doi: 10.1007/978-3-319-66830-7_2/a [SCOPUS]
--- BĚLOHLÁVEK, R., DAUBEN, J. W., KLIR, G. J. Fuzzy logic and mathematics: A historical perspective. Fuzzy Logic and Mathematics: A Historical Perspective. 2017. , (2017), s. 1-532. ISBN 9780190200015. Dostupné z: <a href="http://dx.doi.org/10.1093/oso/9780190200015.001.0001" data-target="_blank">doi: 10.1093/oso/9780190200015.001.0001/a [SCOPUS]
--- BALDI, P., CIABATTONI, A., GULISANO, F. Standard completeness for extensions of IMTL. IEEE International Conference on Fuzzy Systems. 2017. , (2017), č. článku 8015625. ISBN 9781509060344. ISSN 1098-7584. Dostupné z: <a href="http://dx.doi.org/10.1109/FUZZ-IEEE.2017.8015625" data-target="_blank">doi: 10.1109/FUZZ-IEEE.2017.8015625/a [SCOPUS]
--- AGUZZOLI, S., BIANCHI, M. Minimally many-valued extensions of the monoidal t-norm based logic MTL. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10147 LNAI, (2017), s. 106-115. ISSN 0302-9743. Dostupné z: <a href="http://dx.doi.org/10.1007/978-3-319-52962-2_9" data-target="_blank">doi: 10.1007/978-3-319-52962-2_9/a [SCOPUS]
--- AGUZZOLI, S., BIANCHI, M. On varieties singly generated by a well-connected FLinfew/inf-algebra. Fuzzy Sets and Systems. 320, (2017), s. 60-63. ISSN 0165-0114. Dostupné z: <a href="http://dx.doi.org/10.1016/j.fss.2016.11.004" data-target="_blank">doi: 10.1016/j.fss.2016.11.004/a [SCOPUS]
--- METCALFE, G., TSINAKIS, C. Density revisited. Soft Computing. 21, 1 (2017), s. 175-189. ISSN 1432-7643. Dostupné z: <a href="http://dx.doi.org/10.1007/s00500-016-2420-7" data-target="_blank">doi: 10.1007/s00500-016-2420-7/a [SCOPUS]
--- AGUZZOLI, S., BIANCHI, M. Single chain completeness and some related properties. Fuzzy Sets and Systems. 301, (2016), s. 51-63. ISSN 0165-0114. Dostupné z: <a href="http://dx.doi.org/10.1016/j.fss.2016.03.008" data-target="_blank">doi: 10.1016/j.fss.2016.03.008/a [SCOPUS]
--- BALDI, P., TERUI, K. Densification of FL chains via residuated frames. Algebra Universalis. 75, 2 (2016), s. 169-195. ISSN 0002-5240. Dostupné z: <a href="http://dx.doi.org/10.1007/s00012-016-0372-5" data-target="_blank">doi: 10.1007/s00012-016-0372-5/a [SCOPUS]
--- AGUZZOLI, S., BIANCHI, M. On some questions concerning the axiomatisation of WNM-algebras and their subvarieties. Fuzzy Sets and Systems. 292, (2016), s. 5-31. ISSN 0165-0114. Dostupné z: <a href="http://dx.doi.org/10.1016/j.fss.2014.07.007" data-target="_blank">doi: 10.1016/j.fss.2014.07.007/a [SCOPUS]
--- AGUZZOLI, S., MARRA, V. Two principles in many-valued logic. Outstanding Contributions to Logic. 6, (2015), s. 159-174. ISSN 2211-2758. Dostupné z: <a href="http://dx.doi.org/10.1007/978-3-319-06233-4_8" data-target="_blank">doi: 10.1007/978-3-319-06233-4_8/a [SCOPUS]
--- ZHOU, B., XU, G., LI, S. The Quintuple Implication Principle of fuzzy reasoning. Information Sciences. 297, (2015), s. 202-215. ISSN 0020-0255. Dostupné z: <a href="http://dx.doi.org/10.1016/j.ins.2014.11.024" data-target="_blank">doi: 10.1016/j.ins.2014.11.024/a [SCOPUS]
--- SHE, Y., HE, X. Algebraic structures related to nilpotent minimum algebras and rough sets. Journal of Intelligent and Fuzzy Systems. 29, 4 (2015), s. 1367-1380. ISSN 1064-1246. Dostupné z: <a href="http://dx.doi.org/10.3233/IFS-141510" data-target="_blank">doi: 10.3233/IFS-141510/a [SCOPUS]
--- FLAMINIO, T., BIANCHI, M. A Note on Saturated Models for Many-Valued Logics. Mathematica Slovaca. 65, 4 (2015), s. 747-760. ISSN 0139-9918. Dostupné z: <a href="http://dx.doi.org/10.1515/ms-2015-0053" data-target="_blank">doi: 10.1515/ms-2015-0053/a [SCOPUS]
--- GOTTWALD, S. Many-valued and fuzzy logics. Springer Handbook of Computational Intelligence. 2015. , (2015), s. 7-29. ISBN 9783662435052. Dostupné z: <a href="http://dx.doi.org/10.1007/978-3-662-43505-2_2" data-target="_blank">doi: 10.1007/978-3-662-43505-2_2/a [SCOPUS]
--- BALDI, P., CIABATTONI, A. Uniform proofs of standard completeness for extensions of first-order MTL. Theoretical Computer Science. 603, (2015), s. 43-57. ISSN 0304-3975. Dostupné z: <a href="http://dx.doi.org/10.1016/j.tcs.2015.07.014" data-target="_blank">doi: 10.1016/j.tcs.2015.07.014/a [SCOPUS]
--- BIANCHI, M. The logic of the strongest and the weakest t-norms. Fuzzy Sets and Systems. 276, (2015), s. 31-42, č. článku 6733. ISSN 0165-0114. Dostupné z: <a href="http://dx.doi.org/10.1016/j.fss.2015.01.013" data-target="_blank">doi: 10.1016/j.fss.2015.01.013/a [SCOPUS]
--- DE MANTARAS, R. L. A survey of artificial intelligence research at IIIA. AI Magazine. 35, 3 (2014), s. 86-97. ISSN 0738-4602. Dostupné z: <a href="http://dx.doi.org/10.1609/aimag.v35i3.2524" data-target="_blank">doi: 10.1609/aimag.v35i3.2524/a [SCOPUS]
--- BALDI, P. A note on standard completeness for some extensions of uninorm logic. Soft Computing. 18, 8 (2014), s. 1463-1470. ISSN 1432-7643. Dostupné z: <a href="http://dx.doi.org/10.1007/s00500-014-1265-1" data-target="_blank">doi: 10.1007/s00500-014-1265-1/a [SCOPUS]
--- AGUZZOLI, S., BIANCHI, M., VALOTA, D. A Note on Drastic Product Logic. Communications in Computer and Information Science. 2014. 443 CCI, PART 2 (2014), s. 365-374. ISBN 9783319088549. ISSN 1865-0929. Dostupné z: <a href="http://dx.doi.org/10.1007/978-3-319-08855-6_37" data-target="_blank">doi: 10.1007/978-3-319-08855-6_37/a [SCOPUS]
--- YANG, E. Algebraic Kripke-Style Semantics for Relevance Logics. Journal of Philosophical Logic. 43, 4 (2014), s. 803-826. ISSN 0022-3611. Dostupné z: <a href="http://dx.doi.org/10.1007/s10992-013-9290-6" data-target="_blank">doi: 10.1007/s10992-013-9290-6/a [SCOPUS]
--- KRINNINGER, S. Validity in a logic that combines supervaluation and fuzzy logic based theories of vagueness. Fuzzy Sets and Systems. 247, (2014), s. 1-17. ISSN 0165-0114. Dostupné z: <a href="http://dx.doi.org/10.1016/j.fss.2013.12.002" data-target="_blank">doi: 10.1016/j.fss.2013.12.002/a [SCOPUS]
--- VEMURI, N. R., JAYARAM, B. Representations through a monoid on the set of fuzzy implications. Fuzzy Sets and Systems. 247, (2014), s. 51-67. ISSN 0165-0114. Dostupné z: <a href="http://dx.doi.org/10.1016/j.fss.2014.02.014" data-target="_blank">doi: 10.1016/j.fss.2014.02.014/a [SCOPUS]
--- DELLUNDE, P. Applications of ultraproducts: From compactness to fuzzy elementary classes. Logic Journal of the IGPL. 22, 1 (2014), s. 166-180. ISSN 1367-0751. Dostupné z: <a href="http://dx.doi.org/10.1093/jigpal/jzt041" data-target="_blank">doi: 10.1093/jigpal/jzt041/a [SCOPUS]
--- ZHANG, X. F., MENG, G. W. Semantics of fuzzy propositional multi-dimension three-layer logic. Jisuanji Xuebao/Chinese Journal of Computers. 36, 11 (2013), s. 2283-2289. ISSN 0254-4164. Dostupné z: <a href="http://dx.doi.org/10.3724/SP.J.1016.2013.02283" data-target="_blank">doi: 10.3724/SP.J.1016.2013.02283/a [SCOPUS]
--- SONG, Y., ZHANG, X. Pseudo duality and the pseudo law of excluded middle in some t-norm based logics. Information (Japan). 16, 2 A (2013), s. 1031-1035. ISSN 1343-4500. [SCOPUS]
--- BIANCHI, M. The Variety Generated by all the Ordinal Sums of Perfect MV-Chains. Studia Logica. 101, 1 (2013), s. 11-29. ISSN 0039-3215. Dostupné z: <a href="http://dx.doi.org/10.1007/s11225-012-9371-5" data-target="_blank">doi: 10.1007/s11225-012-9371-5/a [SCOPUS]
--- ZHOU, H. J. Theory of Borel probability truth degrees of propositions in Łukasiewicz propositional logics and a limit theorem. Ruan Jian Xue Bao/Journal of Software. 23, 9 (2012), s. 2235-2247. ISSN 1000-9825. Dostupné z: <a href="http://dx.doi.org/10.3724/SP.J.1001.2012.04179" data-target="_blank">doi: 10.3724/SP.J.1001.2012.04179/a [SCOPUS]
--- DELLUNDE, P. Preserving mappings in fuzzy predicate logics. Journal of Logic and Computation. 22, 6 (2012), s. 1367-1389. ISSN 0955-792X. Dostupné z: <a href="http://dx.doi.org/10.1093/logcom/exr019" data-target="_blank">doi: 10.1093/logcom/exr019/a [SCOPUS]
--- CODARA, P., D'ANTONA, O. M., MARRA, V. Valuations in Gödel logic, and the Euler characteristic. Journal of Multiple-Valued Logic and Soft Computing. 19, 1-3 (2012), s. 71-84. ISSN 1542-3980. [SCOPUS]
--- DELLUNDE, P. Revisiting ultraproducts in fuzzy predicate logics. Journal of Multiple-Valued Logic and Soft Computing. 19, 1-3 (2012), s. 95-108. ISSN 1542-3980. [SCOPUS]
--- RAMIREZ, C. J., ZAPATA, H. A. Data mining using fuzzy logic for the translation of vague queries depending on the linguistic context. DYNA (Colombia). 79, 173 PART I (2012), s. 75-84. ISSN 0012-7353. [SCOPUS]
--- HANIKOVÁ, Zuzana. Expanding Basic Fuzzy Logic with truth constants for component delimiters. Fuzzy Sets and Systems. 197, (2012), s. 95-107. ISSN 0165-0114. Dostupné z: <a href="http://dx.doi.org/10.1016/j.fss.2011.11.006" data-target="_blank">doi: 10.1016/j.fss.2011.11.006/a [SCOPUS]
--- BAAZ, M., FASCHING, O. Gödel logics with monotone operators. Fuzzy Sets and Systems. 197, (2012), s. 3-13. ISSN 0165-0114. Dostupné z: <a href="http://dx.doi.org/10.1016/j.fss.2011.04.012" data-target="_blank">doi: 10.1016/j.fss.2011.04.012/a [SCOPUS]
--- NOVÁK, V. Reasoning about mathematical fuzzy logic and its future. Fuzzy Sets and Systems. 192, (2012), s. 25-44. ISSN 0165-0114. Dostupné z: <a href="http://dx.doi.org/10.1016/j.fss.2010.09.019" data-target="_blank">doi: 10.1016/j.fss.2010.09.019/a [SCOPUS]
--- VAN GASSE, B., CORNELIS, C., DESCHRIJVER, G., KERRE, E. E. The standard completeness of interval-valued monoidal t-norm based logic. Information Sciences. 189, (2012), s. 63-76. ISSN 0020-0255. Dostupné z: <a href="http://dx.doi.org/10.1016/j.ins.2011.11.043" data-target="_blank">doi: 10.1016/j.ins.2011.11.043/a [SCOPUS]
--- DIACONESCU, D., GEORGESCU, G. Forcing operators on MTL-algebras. Mathematical Logic Quarterly. 57, 1 (2011), s. 47-64. ISSN 0942-5616. Dostupné z: <a href="http://dx.doi.org/10.1002/malq.200910117" data-target="_blank">doi: 10.1002/malq.200910117/a [SCOPUS]
--- VAN GASSE, B., CORNELIS, C., DESCHRIJVER, G. Interval-valued algebras and fuzzy logics. Studies in Fuzziness and Soft Computing. 2010. 261, (2010), s. 57-82. ISBN 9783642166280. ISSN 1434-9922. Dostupné z: <a href="http://dx.doi.org/10.1007/978-3-642-16629-7_4" data-target="_blank">doi: 10.1007/978-3-642-16629-7_4/a [SCOPUS]
--- DELLUNDE, P. Revisiting ultraproducts in fuzzy predicate logics. Proceedings of The International Symposium on Multiple-Valued Logic. 2010. , (2010), s. 134-139, č. článku 5489236. ISBN 9780769540245. ISSN 0195-623X. Dostupné z: <a href="http://dx.doi.org/10.1109/ISMVL.2010.33" data-target="_blank">doi: 10.1109/ISMVL.2010.33/a [SCOPUS]
--- DELLUNDE, P. On reduced semantics for fuzzy predicate logics. 2009 International Fuzzy Systems Association World Congress and 2009 European Society for Fuzzy Logic and Technology Conference, IFSA-EUSFLAT 2009 Proceedings. 2009. , (2009), s. 414-419. ISBN 9789899507968. [SCOPUS]
--- NOVÁK, V. From Classical to Fuzzy Type Theory. Studies in Universal Logic. , (2014), s. 225-247. ISSN 2297-0282. Dostupné z: <a href="http://dx.doi.org/10.1007/978-3-319-09719-0_16" data-target="_blank">doi: 10.1007/978-3-319-09719-0_16/a [SCOPUS]
--- BIANCHI, M. A temporal semantics for Nilpotent Minimum logic. International Journal of Approximate Reasoning. 55, 1 PART 4 (2014), s. 391-401. ISSN 0888-613X. Dostupné z: <a href="http://dx.doi.org/10.1016/j.ijar.2013.10.007" data-target="_blank">doi: 10.1016/j.ijar.2013.10.007/a [SCOPUS]
--- NOVÁK, V. Elements of model theory in higher-order fuzzy logic. Fuzzy Sets and Systems. 205, (2012), s. 101-115. ISSN 0165-0114. Dostupné z: <a href="http://dx.doi.org/10.1016/j.fss.2012.03.006" data-target="_blank">doi: 10.1016/j.fss.2012.03.006/a [SCOPUS]
--- Cerami, M. Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view. PhD thesis 2012. Universitat de Barcelona, Institut d’Investigacio en Intelligencia Artificial. http://hdl.handle.net/10803/113374.
--- 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.
--- Baldi, P. Standard completeness: proof-theoretic and algebraic methods. Wien, 2015. Dissertation. Technische Universität Wien, Fakultät für Informatik. http://hdl.handle.net/20.500.12708/4907.
--- Jenei, S. Investigation of Residuated Monoids (Reziduált monoidok vizsgálata). Hungarian Academy of Sciences, 2011. DSc dissertation. University of Pécs. http://real-d.mtak.hu/433/.
--- 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 II: Fuzzy Reasoning and Fuzzy Control. Toronto: Apple Academic Press, 2014. ISBN 978-1-4822-5793-9.
--- WANG, J.T. - SAEID, A.B. - HE, P.F. Similarity MTL-algebras and Their Corresponding Logics. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING. ISSN 1542-3980, 2019, vol. 32, no. 5-6, p. 607-628. [WOS]