Linear logic and intuitionistic logic

Research output: Contribution to journalArticle

1 Citation (Scopus)
Original languageEnglish
Pages (from-to)449-480
Number of pages32
JournalRevue Internationale de Philosophie
Volume58
Issue number230
Publication statusPublished - 2004

Fingerprint

Intuitionistic Logic
Linear Logic

ASJC Scopus subject areas

  • Philosophy

Cite this

Linear logic and intuitionistic logic. / Okada, Mitsuhiro.

In: Revue Internationale de Philosophie, Vol. 58, No. 230, 2004, p. 449-480.

Research output: Contribution to journalArticle

@article{842fa9b9223f4cd29b2210a6ed333761,
title = "Linear logic and intuitionistic logic",
author = "Mitsuhiro Okada",
year = "2004",
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

Y1 - 2004

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

VL - 58

SP - 449

EP - 480

JO - Revue Internationale de Philosophie

JF - Revue Internationale de Philosophie

SN - 0048-8143

IS - 230

ER -