Yet another fuzzy model for linear logic

被引：0
|
作者：
Syropoulos, A [1 ]
机构：
[1] Greek Mol Comp Grp, GR-67100 Xanthi, Greece
来源：
INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS | 2006年 / 14卷 / 01期
关键词：
fuzzy sets; linear logic; categorical models;
D O I：
10.1142/S0218488506003881
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The construction of a new categorical fuzzy model for linear logic is presented. The construction is based on a general poset-valued model. Since the resulting categories are not identical to existing categories of all fuzzy sets, we investigate the relationship between the two categories. We conclude with very brief comments regarding the usefulness of this work.
引用
收藏
页码：131 / 135
页数：5
相关论文
共 50 条
  • [1] Yet another application of Fuzzy logic
    Osorio, Mauricio
    Zepeda, Claudia
    Luis Carballido, Jose
    Lopez, David
    [J]. 20TH INTERNATIONAL CONFERENCE ON ELECTRONICS COMMUNICATIONS AND COMPUTERS (CONIELECOMP 2010), 2010, : 217 - 221
  • [2] Predicate transformers and linear logic: Yet another denotational model
    Hyvernat, P
    [J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 115 - 129
  • [3] Inductive logic programming: Yet another application of logic
    Yamamoto, Akihiro
    [J]. DECLARATIVE PROGRAMMING FOR KNOWLEDGE MANAGEMENT, 2006, 4369 : 102 - 116
  • [4] Yet another paradefinite logic: The role of conflation
    Kamide, Norihiro
    Zohar, Yoni
    [J]. LOGIC JOURNAL OF THE IGPL, 2019, 27 (01) : 93 - 117
  • [5] Yet another decision procedure for Equality Logic
    Meir, O
    Strichman, O
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 307 - 320
  • [6] YET ANOTHER PROCESS LOGIC (PRELIMINARY VERSION)
    VARDI, MY
    WOLPER, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 164 : 501 - 512
  • [7] Yet another axiomization of fuzzy set theory
    Wierman, MJ
    [J]. NAFIPS 2004: ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY, VOLS 1AND 2: FUZZY SETS IN THE HEART OF THE CANADIAN ROCKIES, 2004, : 265 - 269
  • [8] YET ANOTHER VARIATION ON MINIMAL LINEAR CODES
    Cohen, Gerard
    Mesnager, Sihem
    Randriam, Hugues
    [J]. ADVANCES IN MATHEMATICS OF COMMUNICATIONS, 2016, 10 (01) : 53 - 61
  • [9] The wandering logic of intelligence -: Or yet another view on nomadic communications
    Simeonov, PL
    [J]. INTELLIGENCE IN NETWORKS, 2000, 30 : 293 - 306
  • [10] Possibilistic Fuzzy Linear Temporal Logic and Its Model Checking
    Li, Yongming
    Wei, Jielin
    [J]. IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2021, 29 (07) : 1899 - 1913
12345