27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AY - Deep inference - Document - PDFSEARCH.IO

First Page	Meta Content
	27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AY Add to Reading List Document Date: 2007-12-18 10:38:50 Open Document File Size: 639,05 KB Share Result on Facebook Company System BV / / Facility Structure Alessio Guglielmi University of Bath / / IndustryTerm consistent formal systems / equivalent systems / non-commutative self-dual logical operator / relation web / logical systems / reasonable solution / proof search / big logical systems / typical computer science applications / sequent systems / deductive systems / / Organization University of Bath / Interaction and Structure Alessio Guglielmi University / / Position computational model for BV / / URL http / SocialTag Noncommutative logic Linear logic Natural deduction Substructural logic Cut-elimination theorem Sequent Curry–Howard correspondence Deep inference Admissible rule Logic

27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AYAdd to Reading List