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 条
12345