A First Order System with Finite Choice of Premises
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.
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||Book Sections|
|Creators||Bruennler, K.and Guglielmi, A.|
|Editors||Hendricks, V. F., Neuhaus, F., Andur Pederson, S., Scheffler, U. and Wansing, H.|
|Departments||Faculty of Science > Computer Science|
Actions (login required)