Linear logic and intuitionistic logic

Mitsuhiro Okada

研究成果: Article › 査読

本文言語	English
ページ（範囲）	449-480
ページ数	32
ジャーナル	Revue Internationale de Philosophie
巻	58
号	230
出版ステータス	Published - 2004 12月 1

ASJC Scopus subject areas

@article{842fa9b9223f4cd29b2210a6ed333761,

title = "Linear logic and intuitionistic logic",

author = "Mitsuhiro Okada",

year = "2004",

month = dec,

day = "1",

language = "English",

volume = "58",

pages = "449--480",

journal = "Revue Internationale de Philosophie",

issn = "0048-8143",

publisher = "Universa Press",

number = "230",

}

TY - JOUR

T1 - Linear logic and intuitionistic logic

AU - Okada, Mitsuhiro

PY - 2004/12/1

Y1 - 2004/12/1

UR - http://www.scopus.com/inward/record.url?scp=61249441898&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=61249441898&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:61249441898

SN - 0048-8143

VL - 58

SP - 449

EP - 480

JO - Revue Internationale de Philosophie

JF - Revue Internationale de Philosophie

IS - 230

ER -