Archive for Mathematical Logic

, Volume 39, Issue 2, pp 125–144 | Cite as

\(\hbox{\sf N}\)-strictness in applicative theories

  • Reinhard Kahle

Abstract.

We study the logical relationship of various forms of induction, as well as quantification operators in applicative theories. In both cases the introduced notion of \(\hbox{\sf N}\)-strictness allows us to obtain the appropriate results.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Reinhard Kahle
    • 1
  1. 1.WSI, Universität Tübingen Sand 13, D-72076 Tübingen, Germany (e-mail: kahle@informatik.uni-tuebingen.de) DE

Personalised recommendations