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 条
  • [11] Equivalence in automata theory based on complete residuated lattice-valued logic
    Xing, Hongyan
    Qiu, Damen
    Liu, Fuchun
    Fan, Zhujun
    FUZZY SETS AND SYSTEMS, 2007, 158 (13) : 1407 - 1422
  • [12] Automata and grammars theory based on complete residuated lattice-valued logic
    Peng, Jia-Yin
    Moshi Shibie yu Rengong Zhineng/Pattern Recognition and Artificial Intelligence, 2011, 24 (05): : 610 - 618
  • [13] Automata theory based on complete residuated lattice-valued logic (II)
    Qiu, DW
    SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2002, 45 (06): : 442 - 452
  • [14] Automata theory based on complete residuated lattice-valued logic (II)
    Daowen Qiu
    Science in China Series F: Information Sciences, 2002, 45 (6): : 442 - 452
  • [15] Intuitionistic fuzzy automata based on complete residuated lattice-valued logic
    Zhang, Qiansheng
    Huang, Yirong
    INTERNATIONAL JOURNAL OF MATERIALS & PRODUCT TECHNOLOGY, 2012, 45 (1-4): : 108 - 118
  • [16] A Bijection between Lattice-Valued Filters and Lattice-Valued Congruences in Residuated Lattices
    Wei, Wei
    Qiang, Yan
    Zhang, Jing
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2013, 2013
  • [17] Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
    Maruyama, Yoshihiro
    LOGIC AND ITS APPLICATIONS, 2009, 5378 : 170 - 184
  • [18] Automata theory based on complete residuated lattice-valued logic: Turing machines
    Wu, Lihua
    Qiu, Daowen
    Xing, Hongyan
    FUZZY SETS AND SYSTEMS, 2012, 208 : 43 - 66
  • [19] FUZZIFYING TOPOLOGY BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC .1.
    YING, MS
    FUZZY SETS AND SYSTEMS, 1993, 56 (03) : 337 - 373
  • [20] Automata theory based on complete residuated lattice-valued logic: A categorical approach
    Xing, Hongyan
    Qiu, Daowen
    FUZZY SETS AND SYSTEMS, 2009, 160 (16) : 2416 - 2428
12345