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 条

[21] Omitting Types in Operator Systems
Goldbring, Isaac
Sinclair, Thomas
INDIANA UNIVERSITY MATHEMATICS JOURNAL, 2017, 66 (03) : 821 - 844
[22] OMITTING TYPES IN MODAL LOGIC
BOWEN, KA
JOURNAL OF SYMBOLIC LOGIC, 1975, 40 (02) : 299 - 300
[23] Omitting Types in an Intermediate Logic
Bagheri, Seyed-Mohammad
Pourmahdian, Massoud
STUDIA LOGICA, 2011, 97 (03) : 319 - 328
[24] OMITTING TYPES AND THE REAL LINE
NEWELSKI, L
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1020 - 1026
[25] Omitting types and AF algebras
Kevin Carlson
Enoch Cheung
Ilijas Farah
Alexander Gerhardt-Bourke
Bradd Hart
Leanne Mezuman
Nigel Sequeira
Alexander Sherman
Archive for Mathematical Logic, 2014, 53 : 157 - 169
[26] GAP-1 2-CARDINAL PRINCIPLES AND THE OMITTING TYPES THEOREM FOR L(Q)
SHELAH, S
ISRAEL JOURNAL OF MATHEMATICS, 1989, 65 (02) : 133 - 152
[27] OMITTING TYPES AND L(Q)
KAUFMANN, M
JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (03) : 476 - 476
[28] OMITTING TYPES OF PRENEX FORMULAS
CHANG, CC
JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (01) : 61 - &
[29] THE ATOMIC MODEL THEOREM AND TYPE OMITTING
Hirschfeldt, Denis R.
Shore, Richard A.
Slaman, Theodor A.
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2009, 361 (11) : 5805 - 5837
[30] Omitting types in incomplete theories
Casanovas, E
Farre, R
JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (01) : 236 - 245

← 1 2 3 4 5 →