BibTeX
@TECHREPORT{Guglielmi99acalculus,
author = {Alessio Guglielmi},
title = {A Calculus of Order and Interaction},
institution = {},
year = {1999}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
System MV is a simple, propositional linear calculus that deals with the commutative as wel l as the non-commutative composition of structures. The mul tipl icative fragment of l near l gic is a special case of MV , and the tensor rul does not su#er from unnecessary non-determinism in context partitioning as it does in the sequent calEE ofl ar l gic.
Citations
| 406 | The mathematics of sentence structure - Lambek - 1958 |
| 290 | Logic programming with focusing proofs in linear logic - Andreoli - 1992 |
| 283 | Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller - 1994 |
| 209 | Investigations into logical deduction - Gentzen - 1969 |
| 99 | The #-calculus as a theory in linear logic: Preliminary results - Miller - 1993 |
| 80 | Phase semantics and sequent calculus for pure noncommutative classical linear logic - Abrusci - 1991 |
| 35 | Abramsky and Radha Jagadeesan. Games and full completeness for multiplicative linear logic - Samson - 1994 |
| 21 | Abrusci and Paul Ruet. Non-commutative logic I: The multiplicative fragment - Michele |
| 12 | A complete axiomatisation for the inclusion of series-parallel partial orders - Bechet, Groote, et al. - 1997 |
| 6 | Sequentiality by linear implication and universal quantification - Guglielmi - 1995 |
| 1 | Calculi of structures for classical and linear logic - Guglielmi |
