Advertisement

manuscripta mathematica

, Volume 1, Issue 3, pp 241–257 | Cite as

Skolem-Normalformen

  • Horst Luckhardt
Article
  • 19 Downloads

Abstract

For simple type theory with λ-conversion, extensionality and classical, intuitionistic or minimal predicate logic together with M-, Br-, S4- or S5-modalities as examples it is shown that it is possible to obtain Skolemnormalforms only by applying transpositions, i.e. replacements of equivalent subformulae. In this way one gets in classical type theory without modalities a provable equivalent normalform with prefix
and with S5-modalities a deductive equivalent prenex normalform of the form
. The axiom of choice allows further simplifications: for example in classical simple type theory a provable equivalent normalform with prefix
.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    PRIOR, A.N.: Modality and quantification in S5. J. symbolic Logic 21, 60–62 (1956).Google Scholar
  2. [2]
    ZYKOV, A.A.: The spectrum problem in the extended predicate calculus. Amer. math. Soc. Transl., ser. 2, 3, 1–14 (1956).Google Scholar

Copyright information

© Springer-Verlag 1969

Authors and Affiliations

  • Horst Luckhardt
    • 1
  1. 1.Mathematisches Institut der Universität Marburg355 Marburg/Lahn

Personalised recommendations