Implicational (Semilinear) Logics I: A New Hierarchy

Cintula, Petr - Noguera, C.
Implicational (Semilinear) Logics I: A New Hierarchy.
Archive for Mathematical Logic. Roč. 49, č. 4 (2010), s. 417-446. ISSN 0933-5846. E-ISSN 1432-0665
Impact factor: 0.414, year: 2010
http://hdl.handle.net/11104/0184955

Cited: 55

--- WARNING: citations may occur twice, once with [SCOPUS] tag and once with [WOS] tag
--- 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.
--- WANG, S.M. The finite model property for semilinear substructural logics. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, AUG 2013, vol. 59, no. 4-5, p. 268-273. [WOS]
--- RAFTERY, J.G. Order algebraizable logics. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, MAR 2013, vol. 164, no. 3, p. 251-283. [WOS]
--- YANG, E. Weakening-free fuzzy logics with the connective Delta. SOFT COMPUTING. ISSN 1432-7643, DEC 2012, vol. 16, no. 12, SI, p. 2089-2095. [WOS]
--- JANSANA, R. Algebraizable logics with a strong conjunction and their semi-lattice based companions. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, NOV 2012, vol. 51, no. 7-8, p. 831-861. [WOS]
--- WANG, S.M. - PEI, D.W. On an axiomatic system for the logic of linearly ordered BCI-matrices. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, MAY 2012, vol. 51, no. 3-4, p. 285-297. [WOS]
--- FONT, J.M. Consequence and Degrees of Truth in Many-Valued Logic. PETR HAJEK ON MATHEMATICAL FUZZY LOGIC. ISSN 2211-2766, 2015, vol. 6, p. 117-141. [WOS]
--- RIVIECCIO, U. WHAT IS ABSTRACT ALGEBRAIC LOGIC?. EPISTEMOLOGIA. ISSN 0392-9760, JUL-DEC 2009, vol. 32, no. 2, p. 255-278. [WOS]
--- Běhounek, L. Logical Foundations of Fuzzy Mathematics. PhD thesis 2009, Charles University in Prague, Faculty of Arts
--- 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]
--- 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]
--- WANG, S.M. Logics for Finite UL and IUL-Algebras Are Substructural Fuzzy Logics. SYMMETRY-BASEL. ISSN 2073-8994, DEC 2018, vol. 10, no. 12. [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]
--- TARASSOV, V.B. Development of fuzzy logics: from universal logic tools to natural pragmatics and non-standard scales. 9TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATION OF SOFT COMPUTING, COMPUTING WITH WORDS AND PERCEPTION, ICSCCW 2017. ISSN 1877-0509, 2017, vol. 120, p. 908-915. [WOS]
--- YANG, E. - DUNN, J.M. Implicational Tonoid Logics: Algebraic and Relational Semantics. LOGICA UNIVERSALIS. ISSN 1661-8297, DEC 2021, vol. 15, no. 4, p. 435-456. [WOS]
--- RAMANAYAKE, R. Extended Kripke lemma and decidability for hypersequent substructural logics. PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020). ISSN 1043-6871, 2020, p. 795-806. [WOS]
--- WANG, S.M. A Proof of the Standard Completeness for the Involutive Uninorm Logic. SYMMETRY-BASEL. APR 2019, vol. 11, no. 4. [WOS]
--- YANG, E. Mianorm-based logics with n-contraction and n-mingle axioms. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS. ISSN 1064-1246, 2019, vol. 37, no. 6, p. 7895-7907. [WOS]
--- VIDAL, A. - BOU, F. - ESTEVA, F. - GODO, L. On strong standard completeness in some MTL expansions. SOFT COMPUTING. ISSN 1432-7643, JAN 2017, vol. 21, no. 1, p. 125-147. [WOS]
--- CERAMI, M. - ESTEVA, F. Strict core fuzzy logics and quasi-witnessed models. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, JUL 2011, vol. 50, no. 5-6, p. 625-641. [WOS]
--- JIPSEN, P., LITAK, T. An Algebraic Glimpse at Bunched Implications and Separation Logic. Outstanding Contributions to Logic. 23, (2022), s. 185-242. ISSN 2211-2758. Dostupné z: <a href="http://dx.doi.org/10.1007/978-3-030-76920-8_5" data-target="_blank">doi: 10.1007/978-3-030-76920-8_5/a [SCOPUS]
--- FONT, J. M. Abstract Algebraic Logic: An Introductory Chapter. Outstanding Contributions to Logic. 23, (2022), s. 71-142. ISSN 2211-2758. Dostupné z: <a href="http://dx.doi.org/10.1007/978-3-030-76920-8_3" data-target="_blank">doi: 10.1007/978-3-030-76920-8_3/a [SCOPUS]
--- YANG, E., DUNN, J. M. Implicational Tonoid Logics: Algebraic and Relational Semantics. Logica Universalis. 15, 4 (2021), s. 435-456. ISSN 1661-8297. Dostupné z: <a href="http://dx.doi.org/10.1007/s11787-021-00288-z" data-target="_blank">doi: 10.1007/s11787-021-00288-z/a [SCOPUS]
--- BALASUBRAMANIAN, A. R., LANG, T., RAMANAYAKE, R. Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics. Proceedings Symposium on Logic in Computer Science. 2021. 2021-June, (2021), č. článku 9470733. ISBN 9781665448956. ISSN 1043-6871. Dostupné z: <a href="http://dx.doi.org/10.1109/LICS52264.2021.9470733" data-target="_blank">doi: 10.1109/LICS52264.2021.9470733/a [SCOPUS]
--- SULEIMENOV, I., BAKIROV, A., MOLDAKHAN, I. Formalization of ternary logic for application to digital signal processing. Advances in Intelligent Systems and Computing. 2021. 1259 AIC, (2021), s. 26-35. ISBN 9783030574529. ISSN 2194-5357. Dostupné z: <a href="http://dx.doi.org/10.1007/978-3-030-57453-6_3" data-target="_blank">doi: 10.1007/978-3-030-57453-6_3/a [SCOPUS]
--- GODO, L., SÓCOLA-RAMOS, M., ESTEVA, F. On the Logic of Left-Continuous t-Norms and Right-Continuous t-Conorms. Communications in Computer and Information Science. 2020. 1239 CCI, (2020), s. 654-665. ISBN 9783030501525. ISSN 1865-0929. Dostupné z: <a href="http://dx.doi.org/10.1007/978-3-030-50153-2_48" data-target="_blank">doi: 10.1007/978-3-030-50153-2_48/a [SCOPUS]
--- RAMANAYAKE, R. Extended Kripke lemma and decidability for hypersequent substructural logics. ACM International Conference Proceeding Series. 2020. , (2020), s. 795-806, č. článku 3394802. ISBN 9781450371049. Dostupné z: <a href="http://dx.doi.org/10.1145/3373718.3394802" data-target="_blank">doi: 10.1145/3373718.3394802/a [SCOPUS]
--- YANG, E. Mianorm-based logics with n-contraction and n-mingle axioms. Journal of Intelligent and Fuzzy Systems. 37, 6 (2019), s. 7895-7907. ISSN 1064-1246. Dostupné z: <a href="http://dx.doi.org/10.3233/JIFS-190150" data-target="_blank">doi: 10.3233/JIFS-190150/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]
--- WANG, S. M. A proof of the standard completeness for the involutive uninorm logic. Symmetry. 11, 4 (2019), č. článku 445. E-ISSN 2073-8994. Dostupné z: <a href="http://dx.doi.org/10.3390/sym11040445" data-target="_blank">doi: 10.3390/sym11040445/a [SCOPUS]
--- WANG, S. Logics for finite UL and IUL-algebras are substructural fuzzy logics. Symmetry. 10, 12 (2018), č. článku 755. E-ISSN 2073-8994. Dostupné z: <a href="http://dx.doi.org/10.3390/sym10120755" data-target="_blank">doi: 10.3390/sym10120755/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]
--- 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]
--- TARASSOV, V. B. Development of fuzzy logics: From universal logic tools to natural pragmatics and non-standard scales. Procedia Computer Science. 120, (2017), s. 908-915. E-ISSN 1877-0509. Dostupné z: <a href="http://dx.doi.org/10.1016/j.procs.2017.11.325" data-target="_blank">doi: 10.1016/j.procs.2017.11.325/a [SCOPUS]
--- VIDAL, Amanda, BOU, F., ESTEVA, F., GODO, L. On strong standard completeness in some MTL infΔ/inf expansions. Soft Computing. 21, 1 (2017), s. 125-147. ISSN 1432-7643. Dostupné z: <a href="http://dx.doi.org/10.1007/s00500-016-2338-0" data-target="_blank">doi: 10.1007/s00500-016-2338-0/a [SCOPUS]
--- FONT, J. M. Consequence and degrees of truth in many-valued logic. Outstanding Contributions to Logic. 6, (2015), s. 117-141. ISSN 2211-2758. Dostupné z: <a href="http://dx.doi.org/10.1007/978-3-319-06233-4_6" data-target="_blank">doi: 10.1007/978-3-319-06233-4_6/a [SCOPUS]
--- GODO, L., GOTTWALD, S. Fuzzy sets and formal logics. Fuzzy Sets and Systems. 281, (2015), s. 44-60. ISSN 0165-0114. Dostupné z: <a href="http://dx.doi.org/10.1016/j.fss.2015.06.021" data-target="_blank">doi: 10.1016/j.fss.2015.06.021/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]
--- LE, V. H., LIU, F., TRAN, D. K. Mathematical fuzzy logic with many dual hedges. ACM International Conference Proceeding Series. 2014. 04-05-December-2014, (2014), s. 7-13. ISBN 9781450329309. Dostupné z: <a href="http://dx.doi.org/10.1145/2676585.2676619" data-target="_blank">doi: 10.1145/2676585.2676619/a [SCOPUS]
--- WANG, S. M. The finite model property for semilinear substructural logics. Mathematical Logic Quarterly. 59, 4-5 (2013), s. 268-273. ISSN 0942-5616. Dostupné z: <a href="http://dx.doi.org/10.1002/malq.201200032" data-target="_blank">doi: 10.1002/malq.201200032/a [SCOPUS]
--- GIUNTINI, R., PAOLI, F., FREYTES, H., LEDDA, A., SERGIOLI, G. What is fuzzy logic And why it matters to us. Studies in Fuzziness and Soft Computing. 2013. 298, (2013), s. 211-215. ISBN 9783642356407. ISSN 1434-9922. Dostupné z: <a href="http://dx.doi.org/10.1007/978-3-642-35641-4_32" data-target="_blank">doi: 10.1007/978-3-642-35641-4_32/a [SCOPUS]
--- RAFTERY, J. G. Order algebraizable logics. Annals of Pure and Applied Logic. 164, 3 (2013), s. 251-283. ISSN 0168-0072. Dostupné z: <a href="http://dx.doi.org/10.1016/j.apal.2012.10.013" data-target="_blank">doi: 10.1016/j.apal.2012.10.013/a [SCOPUS]
--- YANG, E. Weakening-free fuzzy logics with the connective Δ. Soft Computing. 16, 12 (2012), s. 2089-2095. ISSN 1432-7643. Dostupné z: <a href="http://dx.doi.org/10.1007/s00500-012-0879-4" data-target="_blank">doi: 10.1007/s00500-012-0879-4/a [SCOPUS]
--- JANSANA, R. Algebraizable logics with a strong conjunction and their semi-lattice based companions. Archive for Mathematical Logic. 51, 7-8 (2012), s. 831-861. ISSN 0933-5846. Dostupné z: <a href="http://dx.doi.org/10.1007/s00153-012-0301-z" data-target="_blank">doi: 10.1007/s00153-012-0301-z/a [SCOPUS]
--- WANG, S. m., PEI, D. W. On an axiomatic system for the logic of linearly ordered BCI-matrices. Archive for Mathematical Logic. 51, 3-4 (2012), s. 285-297. ISSN 0933-5846. Dostupné z: <a href="http://dx.doi.org/10.1007/s00153-011-0265-4" data-target="_blank">doi: 10.1007/s00153-011-0265-4/a [SCOPUS]
--- CERAMI, M., ESTEVA, F. Strict core fuzzy logics and quasi-witnessed models. Archive for Mathematical Logic. 50, 5 (2011), s. 625-641. ISSN 0933-5846. Dostupné z: <a href="http://dx.doi.org/10.1007/s00153-011-0237-8" data-target="_blank">doi: 10.1007/s00153-011-0237-8/a [SCOPUS]
--- Lávička, T. An Abstract Study of Completeness in Infinitary Logics. Prague, 2018. Doctoral Thesis. Charles University, Faculty of Arts. http://hdl.handle.net/20.500.11956/103651
--- 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
--- Esteban, M. Duality Theory and Abstract Algebraic Logic. Barcelona, 2013. PhD Thesis. Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència. http://hdl.handle.net/10803/125336.
--- YANG, E.S. Implicational tonoid semilinear logics: Prelinear logics and their relational semantics. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS. ISSN 1064-1246, 2022, vol. 43, no. 1, p. 1541-1552. [WOS]
--- YANG, E. Semilinear logics with knotted axioms. IRANIAN JOURNAL OF FUZZY SYSTEMS. ISSN 1735-0654, APR 2022, vol. 19, no. 2, p. 17-30. [WOS]
--- YANG, E. Some Implicational Semilinear Gaggle Logics: (Dual) Residuated-Connected Logics. AXIOMS. APR 2022, vol. 11, no. 4. [WOS]
--- CONIGLIO, M.E. - ESTEVA, F. - FLAMINIO, T. - GODO, L. On the expressive power of Lukasiewicz square operator. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, JUN 1 2022, vol. 32, no. 4, p. 767-807. [WOS]
--- 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]