Intuitionistic counterparts of finitely-valued logics

被引：3
|
作者：
Baaz, M [1 ]
Fermuller, CG [1 ]
机构：
[1] VIENNA TECH UNIV,INST ALGEBRA DISKRETE MATH,A-1040 VIENNA,AUSTRIA
来源：
1996 26TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/ISMVL.1996.508349
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：136 / 141
页数：6
相关论文
共 50 条
  • [1] On finitely-valued Fuzzy Description Logics
    Cerami, Marco
    Garcia-Cerdana, Angel
    Esteva, Francesc
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2014, 55 (09) : 1890 - 1916
  • [2] On finitely-valued Fuzzy Description Logics
    20143600038171
    Esteva, Francesc, 1890, Elsevier Inc. (55):
  • [3] Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics
    Mailis, Theofilos
    Penaloza, Rafael
    Turhan, Anni-Yasmin
    WEB REASONING AND RULE SYSTEMS, RR 2014, 2014, 8741 : 124 - 139
  • [4] Many-Place Sequent Calculi for Finitely-Valued Logics
    Pynko A.P.
    Logica Universalis, 2010, 4 (1) : 41 - 66
  • [5] Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics
    Chepoi, Victor
    Creignou, Nadia
    Hermann, Miki
    Salzer, Gernot
    38TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2008), 2008, : 100 - 105
  • [6] A RESOLUTION FRAMEWORK FOR FINITELY-VALUED 1ST-ORDER LOGICS
    OHEARN, PW
    STACHNIAK, Z
    JOURNAL OF SYMBOLIC COMPUTATION, 1992, 13 (03) : 235 - 254
  • [7] A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued Logics
    Ramon Soler, Joan
    Manya, Felip
    2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016), 2016, : 269 - 274
  • [8] A RESOLUTION FRAMEWORK FOR FINITELY-VALUED 1ST-ORDER LOGICS
    OHEARN, P
    STACHNIAK, Z
    SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE - 89, 1989, : 69 - 81
  • [9] Decidable Godel Description Logics without the Finitely-Valued Model Property
    Borgwardt, Stefan
    Distel, Felix
    Penaloza, Rafael
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 228 - 237
  • [10] On translation of finitely-valued logics to classical first-order logic
    Sofronie-Stokkermans, V
    ECAI 1998: 13TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 410 - 411
12345