@inbook{e5c56eed2a194a1eb18251aa9888b3f8,

title = "A First Order System with Finite Choice of Premises",

abstract = "We present an inference system for classical first order logic in which each inference rule, including the cut, only has a finite set of premises to choose from. The main conceptual contribution of this paper is the possibility of separating different sources of infinite choice, which happen to be entangled in the traditional cut rule.",

author = "K Bruennler and A Guglielmi",

year = "2004",

language = "English",

isbn = "3-8325-0475-3",

series = "Logische Philosophie",

publisher = "Logos Verlag",

pages = "59--74",

editor = "Hendricks, {V F} and F Neuhaus and {Andur Pederson}, S and U Scheffler and H Wansing",

booktitle = "First-Order Logic Revisited",

}