An algebraic correctness criterion for intuitionistic multiplicative proof-nets

Authors
de Groote, P
Citation
P. De Groote, An algebraic correctness criterion for intuitionistic multiplicative proof-nets, THEOR COMP, 224(1-2), 1999, pp. 115-134
Citations number
10
Categorie Soggetti
Computer Science & Engineering
Journal title
THEORETICAL COMPUTER SCIENCE
ISSN journal
03043975 → ACNP
Volume
224
Issue
1-2
Year of publication
1999
Pages
115 - 134
Database
ISI
SICI code
0304-3975(19990806)224:1-2<115:AACCFI>2.0.ZU;2-R
Abstract
We consider intuitionistic fragments of multiplicative linear logic for whi ch we define appropriate notions of proof-nets. These are based on a correc tness criterion that consists of decorating the nodes of a proof-structure with monoidal terms that must obey constraints reminiscent of phase semanti cs. (C) 1999 Elsevier Science B.V. All rights reserved.