Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity

0448459 - ÚI 2017 RIV DE eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity.
Archive for Mathematical Logic. Roč. 55, č. 3 (2016), s. 353-372. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA ČR GA13-14654S
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: abstract algebraic logic * implicational logics * disjunctional logics * semilinear logics * non-classical logics * transfer theorems
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.394, rok: 2016

Citováno: 9

--- WARNING: citations may occur twice, once with [SCOPUS] tag and once with [WOS] tag
--- 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]
--- 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
--- WANG, J.T. - HE, P.F. - YANG, J. - WANG, M. - HE, X.L. Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, JUN 1 2022, vol. 32, no. 4, p. 741-766. [WOS]
--- YANG, E. Some Implicational Semilinear Gaggle Logics: (Dual) Residuated-Connected Logics. AXIOMS. APR 2022, vol. 11, no. 4. [WOS]
--- 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]
--- 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]

Trvalý link: http://hdl.handle.net/11104/0250156