Intuitionistic phase semantics is almost classical

Max I. Kanovich, Mitsuhiro Okada, Kazushige Terui

研究成果: Article査読

3 被引用数 (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.

本文言語English
ページ(範囲)67-86
ページ数20
ジャーナルMathematical Structures in Computer Science
16
1
DOI
出版ステータスPublished - 2006 2 1

ASJC Scopus subject areas

  • 数学(その他)
  • コンピュータ サイエンスの応用

フィンガープリント

「Intuitionistic phase semantics is almost classical」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル