Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Herbrand confluence for first-order proofs with Π2-cuts

Chapter in book
Authors Bahareh Afshari
Stefan Hetzl
Graham E. Leigh
Published in Concepts of Proof in Mathematics, Philosophy, and Computer Science / Dieter Probst, Peter Schuster (eds.)
Pages 5-40
ISBN 978-1-5015-0262-0
Publisher De Gruyter
Place of publication Boston
Publication year 2016
Published at
Pages 5-40
Language en
Keywords Mathematical Logic, Formal Language Theory, First-order Logic, Cut-elimination
Subject categories Mathematical logic
Page Manager: Webmaster|Last update: 9/11/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?