![Mathematics / Calculus of structures / Deep inference / Linear logic / Cut-elimination theorem / Proof calculus / Analytic proof / Sequent calculus / Propositional calculus / Logic / Mathematical logic / Proof theory Mathematics / Calculus of structures / Deep inference / Linear logic / Cut-elimination theorem / Proof calculus / Analytic proof / Sequent calculus / Propositional calculus / Logic / Mathematical logic / Proof theory](https://www.pdfsearch.io/img/9d7b08f192b99e877885fb97a08f393c.jpg) Date: 2014-05-08 11:14:10Mathematics Calculus of structures Deep inference Linear logic Cut-elimination theorem Proof calculus Analytic proof Sequent calculus Propositional calculus Logic Mathematical logic Proof theory | | THE COMMUTATIVE/NONCOMMUTATIVE LINEAR LOGIC BV ALESSIO GUGLIELMI A BSTRACT . This brief survey contains an informal presentation of the commutative/noncommutative linear logic BV in terms of a naif space-temporal model. Add to Reading ListSource URL: cs.bath.ac.ukDownload Document from Source Website File Size: 178,16 KBShare Document on Facebook
|