A First Order System with Finite Choice of Premises


Bruennler, K. and Guglielmi, A., 2004. A First Order System with Finite Choice of Premises. 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.


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.


Item Type Conference or Workshop Items (UNSPECIFIED)
CreatorsBruennler, K.and Guglielmi, A.
EditorsHendricks, V. F., Neuhaus, F., Andur Pederson, S., Scheffler, U. and Wansing, H.
DepartmentsFaculty of Science > Computer Science
ID Code5496


Actions (login required)

View Item