Omitting Types Theorem for Fuzzy Logics

被引：5

作者：

Cintula, Petr ^{[1
]}

Diaconescu, Denisa ^{[2
]}

机构：

[1] Czech Acad Sci, Inst Comp Sci, Prague 18207, Czech Republic

[2] Univ Bucharest, Fac Math & Comp Sci, Bucharest 010014, Romania

来源：

IEEE TRANSACTIONS ON FUZZY SYSTEMS | 2019年 / 27卷 / 02期

关键词：

First-order fuzzy logics; left-continuous t-norms; logic MTL; logic UL; mathematical fuzzy logic; omitting types theorem; uninorms;

D O I：

10.1109/TFUZZ.2018.2856084

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this paper, we generalize the omitting types theorem, an important result of classical model theory, for a wide class of fuzzy logics, containing the prominent logics of left-continuous t-norms and uninorms.

引用

页码：273 / 277

页数：5

共 50 条

[11] OMITTING TYPES THEOREM FOR L(Q) FOR SUCCESSORS OF SINGULARS
GROSSBERG, R
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (01) : 265 - 266
[12] Omitting uncountable types and the strength of [0,1]-valued logics
Caicedo, Xavier
Iovino, Jose N.
ANNALS OF PURE AND APPLIED LOGIC, 2014, 165 (06) : 1169 - 1200
[13] An omitting types theorem for positive bounded formulas in normed spaces
Ortiz, C
ANNALS OF PURE AND APPLIED LOGIC, 2001, 108 (1-3) : 279 - 294
[14] YABLO'S PARADOX AND THE OMITTING TYPES THEOREM FOR PROPOSITIONAL LANGUAGES
Forster, Thomas
LOGIQUE ET ANALYSE, 2011, (215) : 323 - 326
[15] An omitting types theorem for first order logic with infinitary relation symbols
Ahmed, Tarek Sayed
Samir, Basim
MATHEMATICAL LOGIC QUARTERLY, 2007, 53 (06) : 564 - 570
[16] STABILITY AND OMITTING TYPES
HRUSHOVSKI, E
SHELAH, S
ISRAEL JOURNAL OF MATHEMATICS, 1991, 74 (2-3) : 289 - 321
[17] Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
Gaina, Daniel
Badia, Guillermo
Kowalski, Tomasz
ANNALS OF PURE AND APPLIED LOGIC, 2023, 174 (03)
[18] Omitting Types in an Intermediate Logic
Seyed-Mohammad Bagheri
Massoud Pourmahdian
Studia Logica, 2011, 97 : 319 - 328
[19] Omitting types and AF algebras
Carlson, Kevin
Cheung, Enoch
Farah, Ilijas
Gerhardt-Bourke, Alexander
Hart, Bradd
Mezuman, Leanne
Sequeira, Nigel
Sherman, Alexander
ARCHIVE FOR MATHEMATICAL LOGIC, 2014, 53 (1-2) : 157 - 169
[20] ON HANF NUMBERS OF OMITTING TYPES
SHELAH, S
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (01): : 294 - &

← 1 2 3 4 5 →