![](https://www.pdfsearch.io/img/fbf1e8560dfbc5b4308e3a24e909612f.jpg) Date: 2016-12-16 05:02:50
| | ON ANALYTICITY IN DEEP INFERENCE PAOLA BRUSCOLI AND ALESSIO GUGLIELMI In this note, we discuss the notion of analytic inference rule for propositional logics in the calculus of structures (CoSCoS generalises the sAdd to Reading ListSource URL: cs.bath.ac.ukDownload Document from Source Website File Size: 137,90 KBShare Document on Facebook
|