Subatomic Proof Systems Andrea Aler Tubella and Alessio Guglielmi University of Bath The proof theoretic methodology of deep inference [2] yields the widest range of analytic proof systems. In - Bath - Document - PDFSEARCH.IO

First Page	Meta Content
	Subatomic Proof Systems Andrea Aler Tubella and Alessio Guglielmi University of Bath The proof theoretic methodology of deep inference [2] yields the widest range of analytic proof systems. In Add to Reading List Document Date: 2016-04-04 17:54:35 Open Document File Size: 62,55 KB Share Result on Facebook

Subatomic Proof Systems Andrea Aler Tubella and Alessio Guglielmi University of Bath The proof theoretic methodology of deep inference [2] yields the widest range of analytic proof systems. InAdd to Reading List