|
|||||
|
|
Saturated Formulas in Full Linear Logic |
|
| Authors: | CASTELLAN, MAURIZIO PIAZZA, MARIO |
| Affiliation: | 1Department of Mathematics, University of Siena Via del Capitano 15, 53100 Siena, Italy E-mail: mc6304{at}mclink.it 2Department of Philosophy (Section of Epistemology), University of Genoa Via Balbi 4, 16126 Genoa, Italy E-mail: m.piazza{at}mclink.it |
| Abstract: | |
| Keywords: | Linear logic modalities proof-theory sequent calculus |
| 本文献已被 Oxford 等数据库收录！ | |