Advertisement

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.

Keywords

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.

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