Linear logic and intuitionistic logic

被引：0
|
作者：
Okada, M [1 ]
机构：
[1] Keio Univ, Dept Philosophy, Tokyo, Japan
来源：
REVUE INTERNATIONALE DE PHILOSOPHIE | 2004年 / 58卷 / 230期
关键词：
D O I：
暂无
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：449 / 481
页数：33
相关论文
共 50 条
  • [31] (α, β)-Ordered linear resolution of intuitionistic fuzzy propositional logic
    Zou, Li
    Li, XiaoNan
    Pan, Chang
    Liu, Xin
    [J]. INFORMATION SCIENCES, 2017, 414 : 329 - 339
  • [32] A normalizing system of natural deduction for intuitionistic linear logic
    Sara Negri
    [J]. Archive for Mathematical Logic, 2002, 41 : 789 - 810
  • [33] A normalizing system of natural deduction for intuitionistic linear logic
    Negri, S
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 41 (08) : 789 - 810
  • [34] ON RECONSTRUCTABILITY OF CLASSICAL PROPOSITIONAL LOGIC IN INTUITIONISTIC LOGIC
    WOJCICKI, R
    [J]. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1970, 18 (08): : 421 - &
  • [35] AN INTERPRETATION OF INTUITIONISTIC PREDICATE LOGIC IN MODAL LOGIC
    PRAWITZ, D
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (04) : 565 - &
  • [36] A Linear Proof Language for Second-Order Intuitionistic Linear Logic
    Diaz-Caro, Alejandro
    Dowek, Gilles
    Ivnisky, Malena
    Malherbe, Octavio
    [J]. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2024, 2024, 14672 : 18 - 35
  • [37] Unification in intuitionistic logic
    Ghilardi, S
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (02) : 859 - 880
  • [38] Intuitionistic autoepistemic logic
    Amati G.
    Carlucci-Aiello L.
    Pirri F.
    [J]. Studia Logica, 1997, 59 (1) : 103 - 120
  • [39] REALIZABILITY AND INTUITIONISTIC LOGIC
    DILLER, J
    TROELSTRA, AS
    [J]. SYNTHESE, 1984, 60 (02) : 253 - 282
  • [40] On interpretation of intuitionistic logic
    Kolmogoroff, A
    [J]. MATHEMATISCHE ZEITSCHRIFT, 1932, 35 : 58 - 65
12345