Extracting information from intermediate T-systems

@inproceedings{Ferrari2000ExtractingIF,
  title={Extracting information from intermediate T-systems},
  author={Mauro Ferrari},
  year={2000}
}
In this paper we will study the problem of uniformly extracti ng information from constructive and semiconstructive calculi. We will define an in formation extraction mechanism and we will explain several examples of systems to which such a mechanism can be applied. In particular, we will give as examples some families of effective subsystems of a wide class of very large intermediate theories, we call T-systems. These large T-systems, even if ineffective and semantically defined, provide a… CONTINUE READING