Skip to main content
SpringerLink
Log in

Order sorted predicate logic

  • I. Sorts And Types In Logic, Theorem Proving And Logic Programming
  • Conference paper
  • First Online:
Sorts and Types in Artificial Intelligence

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 418))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.-M. Glubrecht, A. Oberschelp, G. Todt Klassenlogik BI, Mannheim, Wien, Zürich 1983

    Google Scholar 

  2. A. Oberschelp Untersuchungen zur mehrsortigen Quantorenlogik Math. Annalen 145, S. 297–333 (1962)

    Article  MATH  MathSciNet  Google Scholar 

  3. A. Schmidt Über deduktive Theorien mit mehreren Sorten von Grunddingen Math. Annalen 123, S. 485–506 (1938)

    Article  Google Scholar 

  4. A. Schmidt Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik Math. Annalen 123, S. 187–200

    Google Scholar 

  5. M. Schmidt-Schauß Computational Aspects of an Order-Sorted Logic with Term Declarations Lecture Notes in Artificial Intelligence, LNCS vol. 395, Springer-Verlag 1989

    Google Scholar 

  6. C. Walther A Many-Sorted Calculus Based on Resolution and Paramodulation Proc. 8th IJCAI, Karlsruhe 1983

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Abteilung Logik, Philosophisches Seminar, Universität Kiel, Olhausenstraße 40, D-2300, Kiel

    Arnold Oberschelp

Authors
  1. Arnold Oberschelp
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Karl Hans Bläsius Ulrich Hedtstück Claus-Rainer Rollinger

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Oberschelp, A. (1990). Order sorted predicate logic. In: Bläsius, K.H., Hedtstück, U., Rollinger, CR. (eds) Sorts and Types in Artificial Intelligence. Lecture Notes in Computer Science, vol 418. Springer, Berlin, Heidelberg . https://doi.org/10.1007/3-540-52337-6_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-52337-6_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52337-6

  • Online ISBN: 978-3-540-46965-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation