[FOM] infinite logical derivations

Kreinovich, Vladik vladik at utep.edu
Mon Aug 20 10:33:23 EDT 2007

Yes, Carnap's rule (also known as Carnap rule) deduces \forall n A(n)
from the infinite number of premises A(0), A(1), ... Youc anf ind
numerous papers by Googling, I first learn about it from G. Mints'

It can formalized if we have a recursive infinite tree. 

> From Ron Rood

> In a Hilbert or Gentzen-style logic, logical derivations are usually 
> represented as finite sequences of sentences.

> Are there studies of logics in the style of Hilbert or Gentzen
> deduction) which, in one way or another, allow for logical derivations

> of infinite length? If yes, can you provide me with pointers to the 
> literature?

More information about the FOM mailing list