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. 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 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
StatusPublished
ID Code5496

Export

Actions (login required)

View Item