Declarative semantics of programming in residuated lattice-valued logic

被引：0
|
作者：
应明生
机构：
[1] Beijing 100084
[2] Department of Computer Science and Technology
[3] China
[4] Tsinghua University
[5] State Key Laboratory of Intelligent Technology and Systems
来源：
Science in China(Series E:Technological Sciences) | 2000年 / 05期
关键词：
logic programming; declarative semantics; residuated lattice; fixpoint theorem; completion of program;
D O I：
暂无
中图分类号：
B811 [辩证逻辑];
学科分类号：
010104 ; 010105 ;
摘要：
We give two generalizations of Tarski’s fixpoint theorem in the setting of residuated lattices and use them to establish van Emdem-Kowalski’s least fixpoint semantics for residuated lattice-valued logic programs.
引用
收藏
页码：481 / 494
页数：14
相关论文
共 50 条
  • [31] TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS
    Ghorani, M.
    IRANIAN JOURNAL OF FUZZY SYSTEMS, 2018, 15 (07): : 103 - 119
  • [32] Graded method of lattice-valued logic based on MV-algebra semantics
    Zuo, W.-B. (zuoweibing@ncwu.edu.cn), 1600, Chinese Institute of Electronics (41):
  • [33] Strong completeness of lattice-valued logic
    Mitio Takano
    Archive for Mathematical Logic, 2002, 41 : 497 - 505
  • [34] Lattice-valued logic and neural networks
    Liu, YF
    Wang, PKC
    1997 ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY - NAFIPS, 1997, : 350 - 355
  • [35] Strong completeness of lattice-valued logic
    Takano, M
    ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 41 (05) : 497 - 505
  • [36] α-PARAMODULATION FOR LATTICE-VALUED LOGIC WITH EQUALITY
    He, Xingxing
    Xu, Yang
    Liu, Jun
    Zhong, Xiaomei
    DECISION MAKING AND SOFT COMPUTING, 2014, 9 : 86 - 91
  • [37] A comparison between lattice-valued propositional logic LP(X) and gradational lattice-valued propositional logic Lvpl
    Chang, Zhiyan
    Xu, Yang
    Lai, Jiajun
    Long, Xiqing
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,
  • [38] Characterizations of complete residuated lattice-valued finite tree automata
    Ghorani, M.
    Zahedi, M. M.
    FUZZY SETS AND SYSTEMS, 2012, 199 : 28 - 46
  • [39] GENERAL FUZZY AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED
    Abolpour, K.
    Zahedi, M. M.
    IRANIAN JOURNAL OF FUZZY SYSTEMS, 2017, 14 (05): : 103 - 121
  • [40] Pumping lemma in context-free grammar theory based on complete residuated lattice-valued logic
    Xing, Hongyan
    Qiu, Daowen
    FUZZY SETS AND SYSTEMS, 2009, 160 (08) : 1141 - 1151
12345