Syntax vs. Semantics: a polarized approach

Olivier Laurent (1)

1 PPS - Preuves, Programmes et Systèmes

We present a notion of sliced proof-nets for the polarized fragment of Linear Logic and a corresponding game model. We show that the connection between them is very strong through an equivalence of categories (this contains soundness, full completeness and faithful completeness).

Mots clés: linear logic; proof-nets; polarities; game semantics; full completeness

Domaines: Logique [math.LO]

Olivier Laurent. Syntax vs. Semantics: a polarized approach. Theoretical Computer Science, 2005, 343, pp.177-206. ⟨10.1016/j.tcs.2005.05.012⟩. ⟨hal-00003759⟩