A Subatomic Proof System Andrea Aler Tubella and Alessio Guglielmi University of Bath In this work we show a proof system, called SA, that generates propositional proofs by employing a single, linear, simple and regular - Propositional proof system - Document - PDFSEARCH.IO

First Page	Meta Content
	A Subatomic Proof System Andrea Aler Tubella and Alessio Guglielmi University of Bath In this work we show a proof system, called SA, that generates propositional proofs by employing a single, linear, simple and regular Add to Reading List Document Date: 2014-07-05 13:26:12 Open Document File Size: 93,22 KB Share Result on Facebook

A Subatomic Proof System Andrea Aler Tubella and Alessio Guglielmi University of Bath In this work we show a proof system, called SA, that generates propositional proofs by employing a single, linear, simple and regular Add to Reading List