Linear logic and intuitionistic logic

被引:0
|
作者
Okada, M [1 ]
机构
[1] Keio Univ, Dept Philosophy, Tokyo, Japan
关键词
D O I
暂无
中图分类号
B [哲学、宗教];
学科分类号
01 ; 0101 ;
摘要
引用
收藏
页码:449 / 481
页数:33
相关论文
共 50 条
  • [11] Functional Interpretations of Intuitionistic Linear Logic
    Ferreira, Gilda
    Oliva, Paulo
    [J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2009, 5771 : 3 - 19
  • [12] A note on full intuitionistic linear logic
    Bierman, GM
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1996, 79 (03) : 281 - 287
  • [13] Cones as a model of intuitionistic linear logic
    Ehrhard, Thomas
    [J]. PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 370 - 383
  • [14] Functional interpretations of linear and intuitionistic logic
    Oliva, Paulo
    [J]. INFORMATION AND COMPUTATION, 2010, 208 (05) : 565 - 577
  • [15] Normal deduction in the intuitionistic linear logic
    Mints, G
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 1998, 37 (5-6) : 415 - 425
  • [16] Intuitionistic Logic As Epistemic Logic
    Jaakko Hintikka
    [J]. Synthese, 2001, 127 : 7 - 19
  • [17] Intuitionistic logic as epistemic logic
    Hintikka, J
    [J]. SYNTHESE, 2001, 127 (1-2) : 7 - 19
  • [18] Intuitionistic Logic is a Connexive Logic
    Fazio, Davide
    Ledda, Antonio
    Paoli, Francesco
    [J]. STUDIA LOGICA, 2024, 112 (1-2) : 95 - 139
  • [19] Intuitionistic Logic is a Connexive Logic
    Davide Fazio
    Antonio Ledda
    Francesco Paoli
    [J]. Studia Logica, 2024, 112 : 95 - 139
  • [20] Relating Categorical Semantics for Intuitionistic Linear Logic
    Maria Emilia Maietti
    Paola Maneggia
    Valeria de Paiva
    Eike Ritter
    [J]. Applied Categorical Structures, 2005, 13 : 1 - 36