Fuzzy constructive logic

被引：0
|
作者：
Zaslavsky I.D. [1 ]
机构：
[1] Institute of Informatics and Automation Problems, Armenian Academy of Sciences, Yerevan
来源：
Journal of Mathematical Sciences | 2009年 / 158卷 / 5期
关键词：
Fuzzy Logic; Constructive Approach; Predicate Calculus; Logical System; True Predicate;
D O I：
10.1007/s10958-009-9410-6
中图分类号：
学科分类号：
摘要：
We introduce a logical system in which the principles of fuzzy logic are interpreted from the point of view of the constructive approach The language of predicate formulas without functional symbols and symbols of constants is considered. The notion of identically trae predicate formula in the framework of the introduced logic is defined; two variants of this definition are given. Theorems concerning identically true predicate formulas are proved. Some connections between the introduced logic and the constructive (intuitionistic) predicate calculus are established. Bibliography: 40 titles. © 2009 Springer Science+Business Media, Inc.
引用
收藏
页码：677 / 688
页数：11
相关论文
共 50 条
  • [41] Tableaux for constructive concurrent dynamic logic
    Wijesekera, D
    Nerode, A
    ANNALS OF PURE AND APPLIED LOGIC, 2005, 135 (1-3) : 1 - 72
  • [42] Constructive logic with strong negation is a substructural logic. I
    Spinks M.
    Veroff R.
    Studia Logica, 2008, 88 (3) : 325 - 348
  • [43] Canonicity of Proofs in Constructive Modal Logic
    Acclavio, Matteo
    Catta, Davide
    Olimpieri, Federico
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 342 - 363
  • [44] TOWARDS THE THEORY OF PROGRAMMING IN CONSTRUCTIVE LOGIC
    VORONKOV, AA
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 432 : 421 - 435
  • [45] A constructive algorithm for reversible logic synthesis
    Yang, Guowu
    Xie, Fei
    Song, Xiaoyu
    Hung, William N. N.
    Perkowski, Marek A.
    2006 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-6, 2006, : 2401 - 2406
  • [46] Modal Operators over Constructive Logic
    Sherkhonov, Evgeny Yu.
    JOURNAL OF LOGIC AND COMPUTATION, 2008, 18 (06) : 815 - 829
  • [47] CONSTRUCTIVE LOGIC AND POPULAR CULTURE IN ARCHITECTURE
    KRIER, L
    ARCHITECTURE D AUJOURD HUI, 1977, 190 (APR): : 94 - 96
  • [48] ANALOGUES OF SHEFFERS STROKE IN CONSTRUCTIVE LOGIC
    KUZNETSO.AV
    DOKLADY AKADEMII NAUK SSSR, 1965, 160 (02): : 274 - &
  • [49] A CONSTRUCTIVE PROOF OF A THEOREM IN RELEVANCE LOGIC
    KRON, A
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (05): : 423 - 430
  • [50] CONSTRUCTIVE 3-VALUED LOGIC
    WOODRUFF, PW
    JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (01) : 183 - &
12345