A First Order System with Finite Choice of Premises

K Bruennler, A Guglielmi

Research output: Chapter or section in a book/report/conference proceedingChapter or section


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.
Original languageEnglish
Title of host publicationFirst-Order Logic Revisited
EditorsV F Hendricks, F Neuhaus, S Andur Pederson, U Scheffler, H Wansing
PublisherLogos Verlag
Number of pages16
ISBN (Print)3-8325-0475-3
Publication statusPublished - 2004

Publication series

NameLogische Philosophie
PublisherLogos Verlag


Dive into the research topics of 'A First Order System with Finite Choice of Premises'. Together they form a unique fingerprint.

Cite this