Archive for Mathematical Logic

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

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

  • Reinhard Kahle


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.


Quantification Operator Logical Relationship Applicative Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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: DE

Personalised recommendations