Completeness of (a #956;,a #957;)-resolution principle of intuitionistic operator fuzzy logic

被引：1
|
作者：
Zheng, Hongliang [1 ]
Xu, Benqiang [1 ]
Zou, Li [1 ]
机构：
[1] Liaoning Normal Univ, Sch Comp & Informat Technol, Dalian 116029, Peoples R China
来源：
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007) | 2007年
关键词：
(a#956; a#957; )-resolution; the completeness of (a#956; intuitionistic operator fuzzy logic;
D O I：
10.2991/iske.2007.212
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper, a primary interpretation for intuitionistic operator fuzzy logic is presented. The concepts of (a#956;,a#957;)-complementary literal and (a#956;,a#957;)-similar literal about complex literals are proposed. Then the properties of (a#956;,a#957;)-false and the (a#956;,a#957;)-resolution method of the complex literals are discussed. Based on the concepts of (a#956;,a#957;)-weak implication and (a#956;,a#957;)-strong implication, the completeness of (a#956;,a#957;)-resolution of intuitionistic operator fuzzy logic hold. An example is given to show that the proposed (a#956;,a#957;)-resolution method is a layered resolution method.
引用
收藏
页数：1
相关论文
共 50 条
  • [21] An Intuitionistic Completeness Theorem for Classical Predicate Logic
    Victor N. Krivtsov
    [J]. Studia Logica, 2010, 96 : 109 - 115
  • [22] Fuzzy temporal constraint logic:: a valid resolution principle
    Viedma, MAC
    Morales, RM
    Sánchez, IN
    [J]. FUZZY SETS AND SYSTEMS, 2001, 117 (02) : 231 - 250
  • [23] An Intuitionistic Completeness Theorem for Classical Predicate Logic
    Krivtsov, Victor N.
    [J]. STUDIA LOGICA, 2010, 96 (01) : 109 - 115
  • [24] COMPLETENESS OF INTUITIONISTIC LOGIC WITH RESPECT TO MODELS WITH COVERING
    FABIANO, A
    [J]. BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1983, 2A (01): : 21 - 28
  • [25] Intuitionistic Fuzzy Implications and the Axioms of Intuitionistic Logic
    Angelova, Nora A.
    Atanassov, Krassimir T.
    [J]. PROCEEDINGS OF THE 2015 CONFERENCE OF THE INTERNATIONAL FUZZY SYSTEMS ASSOCIATION AND THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY, 2015, 89 : 1578 - 1584
  • [26] INTUITIONISTIC FUZZY-LOGIC
    ATANASSOV, KT
    GARGOV, GK
    [J]. DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1990, 43 (03): : 9 - 12
  • [27] Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness
    A. D. Yashin
    [J]. Journal of Philosophical Logic, 1999, 28 : 175 - 197
  • [28] INTUITIONISTIC FUZZY-LOGIC AND INTUITIONISTIC FUZZY SET-THEORY
    TAKEUTI, G
    TITANI, S
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (03) : 851 - 866
  • [29] On the polynomial-space completeness of intuitionistic propositional logic
    Svejdar, V
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2003, 42 (07) : 711 - 716
  • [30] On the polynomial-space completeness of intuitionistic propositional logic
    Vítězslav Švejdar
    [J]. Archive for Mathematical Logic, 2003, 42 : 711 - 716
12345