To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Herbrand confluence for f… - University of Gothenburg, Sweden Till startsida
To content Read more about how we use cookies on

Contact form


Note! If you want an answer on a question you must specify your email address

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

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?