Implicational (semilinear) logics III: completeness properties

Cintula, Petr - Noguera, Carles
Implicational (semilinear) logics III: completeness properties.
Archive for Mathematical Logic. Roč. 57, 3-4 (2018), s. 391-420. ISSN 0933-5846. E-ISSN 1432-0665
OECD category: Pure mathematics
Impact factor: 0.574, year: 2018
http://hdl.handle.net/11104/0273436

Cited: 10

--- WARNING: citations may occur twice, once with [SCOPUS] tag and once with [WOS] tag
--- METCALFE, G. - TSINAKIS, C. Density revisited. SOFT COMPUTING. ISSN 1432-7643, JAN 2017, vol. 21, no. 1, SI, p. 175-189. [WOS]
--- KULACKA, A. Strong standard completeness for continuous t-norms. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, AUG 15 2018, vol. 345, p. 139-150. [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]
--- 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]
--- 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]
--- KUŁACKA, A. Strong standard completeness for continuous t-norms. Fuzzy Sets and Systems. 345, (2018), s. 139-150. ISSN 0165-0114. Dostupné z: <a href="http://dx.doi.org/10.1016/j.fss.2018.01.001" data-target="_blank">doi: 10.1016/j.fss.2018.01.001/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
--- 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. Some Implicational Semilinear Gaggle Logics: (Dual) Residuated-Connected Logics. AXIOMS. APR 2022, vol. 11, no. 4. [WOS]