Research

A First Order System with Finite Choice of Premises


Reference:

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

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

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.

Details

Item Type Book Sections
CreatorsBruennler, K.and Guglielmi, A.
EditorsHendricks, V. F., Neuhaus, F., Andur Pederson, S., Scheffler, U. and Wansing, H.
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code5496

Export

Actions (login required)

View Item