On arithmetic in the Cantor- Łukasiewicz fuzzy set theory

被引：0
|
作者：
Petr Hájek
机构：
[1] Academy of Sciences of the Czech Republic,Institute of Computer Science
来源：
Archive for Mathematical Logic | 2005年 / 44卷
关键词：
Łukasiewicz logic; Fuzzy set theory; Contradiction;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Axiomatic set theory with full comprehension is known to be consistent in Łukasiewicz fuzzy predicate logic. But we cannot assume the existence of natural numbers satisfying a simple schema of induction; this extension is shown to be inconsistent.
引用
收藏
页码：763 / 782
页数：19
相关论文
共 50 条
  • [1] On arithmetic in the Cantor-Lukasiewicz fuzzy set theory
    Hájek, P
    ARCHIVE FOR MATHEMATICAL LOGIC, 2005, 44 (06) : 763 - 782
  • [2] Cantor Set Arithmetic
    Athreya, Jayadev S.
    Reznick, Bruce
    Tyson, Jeremy T.
    AMERICAN MATHEMATICAL MONTHLY, 2019, 126 (01): : 4 - 17
  • [3] Some remarks on Cantor-Lukasiewicz fuzzy set theory
    Hajek, Petr
    LOGIC JOURNAL OF THE IGPL, 2013, 21 (02) : 183 - 186
  • [4] Cantor and Set Theory
    Patras, Frederic
    ESSENCE OF NUMBERS, 2020, 2278 : 91 - 99
  • [5] IMPROVEMENTS ON THE CANTOR- ZASSENHAUS FACTORIZATION ALGORITHM
    Elia, Michele
    Schipani, Davide
    MATHEMATICA BOHEMICA, 2015, 140 (03): : 271 - 290
  • [6] ON THE ARITHMETIC STRUCTURE OF RATIONAL NUMBERS IN THE CANTOR SET
    Shparlinski, Igor E.
    BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 2021, 103 (01) : 22 - 27
  • [7] CANTOR IAN SET THEORY
    Oliver, Alex
    Smiley, Timothy
    BULLETIN OF SYMBOLIC LOGIC, 2018, 24 (04) : 393 - 451
  • [8] Arithmetic operators in interval-valued fuzzy set theory
    Deschrijver, Glad
    INFORMATION SCIENCES, 2007, 177 (14) : 2906 - 2924
  • [9] Fuzzy soft set theory applied to medical diagnosis using fuzzy arithmetic operations
    Celik, Yildiray
    Yamak, Sultan
    JOURNAL OF INEQUALITIES AND APPLICATIONS, 2013,
  • [10] Fuzzy soft set theory applied to medical diagnosis using fuzzy arithmetic operations
    Yıldıray Çelik
    Sultan Yamak
    Journal of Inequalities and Applications, 2013
12345