DEPENDENCE AND INDEPENDENCE OF INFERENCE RULES IN CONSTRUCTIVE MATHEMATICAL LOGIC

被引：0
|
作者：
GORGY, FW
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1974年 / 39卷 / 02期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：414 / 414
页数：1
相关论文
共 50 条
  • [41] Practical Handling of Exception-Tainted Rules and Independence Information in Possibilistic Logic
    Salem Benferhat
    Didier Dubois
    Henri Prade
    Applied Intelligence, 1998, 9 : 101 - 127
  • [42] Practical handling of exception-tainted rules and independence information in possibilistic logic
    Benferhat, S
    Dubois, D
    Prade, H
    APPLIED INTELLIGENCE, 1998, 9 (02) : 101 - 127
  • [43] Justification logic for constructive modal logic
    Kuznets, Roman
    Marin, Sonia
    Straßburger, Lutz
    Journal of Applied Logics, 2021, 8 (08): : 2313 - 2332
  • [44] JUSTIFICATION LOGIC FOR CONSTRUCTIVE MODAL LOGIC
    Kuznets, Roman
    Marin, Sonia
    Strassburger, Lutz
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (08): : 2313 - 2332
  • [45] Fuzzy constructive logic
    Zaslavsky I.D.
    Journal of Mathematical Sciences, 2009, 158 (5) : 677 - 688
  • [46] CONSTRUCTIVE LUKASIEWICZIAN LOGIC
    WOODRUFF, PW
    JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 390 - 390
  • [47] Constructive Game Logic
    Bohrer, Brandon
    Platzer, Andre
    PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2020, 12075 : 84 - 111
  • [48] An explicit basis for the admissible inference rules in the Godel-Lob logic GL
    Fedorishin, B. R.
    SIBERIAN MATHEMATICAL JOURNAL, 2007, 48 (02) : 339 - 345
  • [49] Inference rules with metavariables and logical equations in the pretabular modal logic PM 1
    Kiyatkin, VR
    SIBERIAN MATHEMATICAL JOURNAL, 2000, 41 (01) : 74 - 80
  • [50] Using interval temporal logic and inference rules for the automatic generation of multimedia presentations
    Shih, TK
    Lo, SKC
    Fu, SJ
    Chang, JB
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS, 1996, : 425 - 428
12345