Proof nets for multiplicative and additive linear logic:
Gespeichert in:
Bibliographische Detailangaben
Beteilige Person: Bellin, Gianluigi (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Edinburgh 1991
Schriftenreihe:Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series 161
Schlagwörter:
Abstract:Abstract: "This paper extends the theory of proof nets from Multiplicative Linear Logic to Multiplicative and Additive Linear Logic, by removing the additive boxes. This yields uniqueness of normal form for that fragment and a classification of permutability of inferences in the calculus of sequents for classical Linear Logic."
Umfang:40 S.