First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 137,90 KBShare Document on Facebook |