Linear logic and intuitionistic logic

Mitsuhiro Okada

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	449-480
Number of pages	32
Journal	Revue Internationale de Philosophie
Volume	58
Issue number	230
Publication status	Published - 2004 Dec 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 -