Back to Results
First PageMeta Content



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 s
Add to Reading List

Document Date: 2016-12-16 05:02:50


Open Document

File Size: 137,90 KB

Share Result on Facebook
UPDATE