A First Order System with Finite Choice of Premises Kai Br¨ unnler [removed] - Deep inference - Document - PDFSEARCH.IO

First Page	Meta Content
	A First Order System with Finite Choice of Premises Kai Br¨ unnler [removed] Add to Reading List Document Date: 2003-11-28 09:54:28 Open Document File Size: 130,87 KB Share Result on Facebook City Dresden / Berlin / Bern / / Country Germany / / / IndustryTerm proof search / search tree / sequent systems / / OperatingSystem Sequent / / Organization Institut f¨ / / Person KAI BRUNNLER ALESSIO GUGLIELMI / / SocialTag Rule of inference Sequent calculus Cut-elimination theorem Deep inference First-order logic Sequent Negation Atomic formula Inference Logic

A First Order System with Finite Choice of Premises Kai Br¨ unnler [removed]Add to Reading List