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 条
  • [21] ON INTUITIONISTIC MANY-VALUED LOGICS
    HANAZAWA, M
    TAKANO, M
    JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 1986, 38 (03) : 409 - 419
  • [22] Frame definability in finitely valued modal logics
    Badia, Guillermo
    Caicedo, Xavier
    Noguera, Carles
    ANNALS OF PURE AND APPLIED LOGIC, 2023, 174 (07)
  • [23] NON-FINITELY APPROXIMABLE INTUITIONISTIC MODAL-LOGICS
    SOTIROV, VK
    MATHEMATICAL NOTES, 1980, 27 (1-2) : 47 - 49
  • [24] A Generalization of Falsity in Finitely-many Valued Logics
    Francez, Nissim
    FUNDAMENTA INFORMATICAE, 2022, 186 (1-4) : 121 - 132
  • [25] Finitely many-valued logics and natural deduction
    Englander, Cecilia
    Haeusler, Edward Hermann
    Pereira, Luiz Carlos
    LOGIC JOURNAL OF THE IGPL, 2014, 22 (02) : 333 - 354
  • [26] Modal Intuitionistic Logics as Dialgebraic Logics
    de Groot, Jim
    Pattinson, Dirk
    PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 355 - 369
  • [27] Intuitionistic Conditional Logics
    Ciardelli, Ivano
    Liu, Xinghan
    JOURNAL OF PHILOSOPHICAL LOGIC, 2020, 49 (04) : 807 - 832
  • [28] Intuitionistic Conditional Logics
    Ivano Ciardelli
    Xinghan Liu
    Journal of Philosophical Logic, 2020, 49 : 807 - 832
  • [29] Intuitionistic Trilattice Logics
    Wansing, Heinrich
    Kamide, Norihiro
    JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (06) : 1201 - 1229
  • [30] REMARKS ON FINITELY BASED LOGICS
    CZELAKOWSKI, J
    LECTURE NOTES IN MATHEMATICS, 1984, 1103 : 147 - 168
12345