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

First Page		Document Content
Date: 2016-04-04 17:54:35		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 Source URL: aalertubelladotcom.files.wordpress.com Download Document from Source Website File Size: 62,55 KB Share Document on Facebook