Intuitionistic phase semantics is almost classical

Max I. Kanovich, Mitsuhiro Okada, Kazushige Terui

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)


We study the relationship between classical phase semantics for classical linear logic (LL) and intuitionistic phase semantics for intuitionistic linear logic (ILL). We prove that (i) every intuitionistic phase space is a subspace of a classical phase space, and (ii) every intuitionistic phase space is phase isomorphic to an 'almost classical' phase space. Here, by an 'almost classical' phase space we mean an intuitionistic phase space having a double-negation-like closure operator. Based on these semantic considerations, we give a syntactic embedding of propositional ILL into LL.

Original languageEnglish
Pages (from-to)67-86
Number of pages20
JournalMathematical Structures in Computer Science
Issue number1
Publication statusPublished - 2006 Feb 1

ASJC Scopus subject areas

  • Mathematics (miscellaneous)
  • Computer Science Applications


Dive into the research topics of 'Intuitionistic phase semantics is almost classical'. Together they form a unique fingerprint.

Cite this