A First Order System with Finite Choice of Premises

K Bruennler, A Guglielmi

Research output: Chapter in Book/Report/Conference proceedingChapter

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

Publication series

NameLogische Philosophie
PublisherLogos Verlag

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

  • Cite this

    Bruennler, K., & Guglielmi, A. (2004). A First Order System with Finite Choice of Premises. In V. F. Hendricks, F. Neuhaus, S. Andur Pederson, U. Scheffler, & H. Wansing (Eds.), First-Order Logic Revisited (pp. 59-74). (Logische Philosophie). Logos Verlag.