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 条
  • [31] The Poset of All Logics III: Finitely Presentable Logics
    Jansana, Ramon
    Moraschini, Tommaso
    STUDIA LOGICA, 2021, 109 (03) : 539 - 580
  • [32] The Poset of All Logics III: Finitely Presentable Logics
    Ramon Jansana
    Tommaso Moraschini
    Studia Logica, 2021, 109 : 539 - 580
  • [33] On Graphs for Intuitionistic Modal Logics
    Veloso, Paulo A. S.
    Veloso, Sheila R. M.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 323 (215-233) : 215 - 233
  • [34] Symmetric and conflated intuitionistic logics
    Kamide, Norihiro
    LOGIC JOURNAL OF THE IGPL, 2024,
  • [35] A Framework for Intuitionistic Grammar Logics
    Lyon, Tim S.
    LOGIC AND ARGUMENTATION, CLAR 2021, 2021, 13040 : 495 - 503
  • [36] Nested Sequents for Intuitionistic Logics
    Fitting, Melvin
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2014, 55 (01) : 41 - 61
  • [37] Intuitionistic Linear Temporal Logics
    Balbiani, Philippe
    Boudou, Joseph
    Dieguez, Martin
    Fernandez-Duque, David
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2020, 21 (02)
  • [38] BISIMULATIONS FOR INTUITIONISTIC TEMPORAL LOGICS
    Balbiani, Philippe
    Boudou, Joseph
    Dieguez, Martin
    Fernandez-Duque, David
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (08): : 2265 - 2285
  • [39] INTUITIONISTIC ANALYSIS AND INTERMEDIATE LOGICS
    GARGOV, GK
    DOKLADY AKADEMII NAUK SSSR, 1975, 224 (06): : 1245 - 1247
  • [40] INTUITIONISTIC LOGICS OF CONFIRMATION AND DISCOURAGEMENT
    Witczak, Tomasz
    COMPTES RENDUS DE L ACADEMIE BULGARE DES SCIENCES, 2022, 75 (07): : 945 - 951
12345