Advertisement

Order sorted predicate logic

  • Arnold Oberschelp
I. Sorts And Types In Logic, Theorem Proving And Logic Programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 418)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    J.-M. Glubrecht, A. Oberschelp, G. Todt Klassenlogik BI, Mannheim, Wien, Zürich 1983Google Scholar
  2. [2]
    A. Oberschelp Untersuchungen zur mehrsortigen Quantorenlogik Math. Annalen 145, S. 297–333 (1962)MATHMathSciNetCrossRefGoogle Scholar
  3. [3]
    A. Schmidt Über deduktive Theorien mit mehreren Sorten von Grunddingen Math. Annalen 123, S. 485–506 (1938)CrossRefGoogle Scholar
  4. [4]
    A. Schmidt Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik Math. Annalen 123, S. 187–200Google Scholar
  5. [5]
    M. Schmidt-Schauß Computational Aspects of an Order-Sorted Logic with Term Declarations Lecture Notes in Artificial Intelligence, LNCS vol. 395, Springer-Verlag 1989Google Scholar
  6. [6]
    C. Walther A Many-Sorted Calculus Based on Resolution and Paramodulation Proc. 8th IJCAI, Karlsruhe 1983Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Arnold Oberschelp
    • 1
  1. 1.Abteilung Logik, Philosophisches SeminarUniversität KielKiel

Personalised recommendations