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 条
  • [1] LOGIC PROGRAMMING IN A FRAGMENT OF INTUITIONISTIC LINEAR LOGIC
    HODAS, JS
    MILLER, D
    [J]. INFORMATION AND COMPUTATION, 1994, 110 (02) : 327 - 365
  • [2] Skolemisation for Intuitionistic Linear Logic
    Bruni, Alessandro
    Ritter, Eike
    Schurmann, Carsten
    [J]. AUTOMATED REASONING, IJCAR 2024, PT II, 2024, 14740 : 61 - 77
  • [3] NONCOMMUTATIVE INTUITIONISTIC LINEAR LOGIC
    ABRUSCI, VM
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1990, 36 (04): : 297 - 318
  • [4] NONMODAL CLASSICAL LINEAR PREDICATE LOGIC IS A FRAGMENT OF INTUITIONISTIC LINEAR LOGIC
    DOSEN, K
    [J]. THEORETICAL COMPUTER SCIENCE, 1992, 102 (01) : 207 - 214
  • [5] The ILLTP Library for Intuitionistic Linear Logic
    Olarte, Carlos
    de Paiva, Valeria
    Pimentel, Elaine
    Reis, Giselle
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (292): : 118 - 132
  • [6] FUNCTIONAL INTERPRETATIONS OF INTUITIONISTIC LINEAR LOGIC
    Ferreira, Gilda
    Oliva, Paulo
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (01)
  • [7] Intuitionistic linear logic and partial correctness
    Kozen, D
    Tiuryn, J
    [J]. 16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2001, : 259 - 268
  • [8] Normal deduction in the intuitionistic linear logic
    G. Mints
    [J]. Archive for Mathematical Logic, 1998, 37 : 415 - 425
  • [9] Lambda calculus and intuitionistic linear logic
    Rocca S.R.D.
    Roversi L.
    [J]. Studia Logica, 1997, 59 (3) : 417 - 448
  • [10] NATURAL DEDUCTION FOR INTUITIONISTIC LINEAR LOGIC
    TROELSTRA, AS
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1995, 73 (01) : 79 - 108
12345