### 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 language | English |
---|---|

Title of host publication | First-Order Logic Revisited |

Editors | V F Hendricks, F Neuhaus, S Andur Pederson, U Scheffler, H Wansing |

Publisher | Logos Verlag |

Pages | 59-74 |

Number of pages | 16 |

ISBN (Print) | 3-8325-0475-3 |

Publication status | Published - 2004 |

### Publication series

Name | Logische Philosophie |
---|---|

Publisher | Logos 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.