Skip to main content
SpringerLink
Log in

Wortprobleme und Beziehungen zur Aussagenlogik

  • Chapter
Einführung in die Verbandstheorie

Part of the book series: Die Grundlehren der mathematischen Wissenschaften ((GL,volume 73))

  • 61 Accesses

Zusammenfassung

Die Klasse A v der Verbände läßt sich durch ein Gleichungssystem definieren (vgl. dazu den Anhang, Nr. 6).

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  • McKinsey, J. C. C.: The decision problem for some classes of sentences without quantifiers. The Journal of Symbolic Logic Bd. 8 (1943) S. 61–76.

    Google Scholar 

  • McKinsey, J. C. C., Tarski, A.: On closed elements in closure algebras. Annals of Mathematics Bd. 47 (1946) S. 122–162.

    Google Scholar 

  • Schmidt, H. A.: Mathematische Gesetze der Logik I. Berlin-Göttingen-Heidelberg: Springer 1960.

    Google Scholar 

  • Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics. Warszawa: Państwowe Wydawnictwo Naukowe 1963.

    Google Scholar 

  • Heyting, A.: Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. Ergebnisse der Mathematik und ihrer Grenzgebiete Bd. 3, Heft 4. Berlin: Springer 1934.

    Google Scholar 

  • Schmidt, H. A.: Mathematische Gesetze der Logik I. Berlin-Göttingen-Heidelberg: Springer 1960.

    Google Scholar 

  • Beth, E. W.: Formal Methods. Dordrecht: D. Reidei Publishing Company 1962.

    Google Scholar 

  • Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics. Warszawa: Panstwowe Wydawnictwo Naukowe 1963.

    Google Scholar 

  • Grzegorczyk, A.: A philosophical plausible formal interpretation of intuitionistic logic. Indagationes Mathematicae Bd. 26 (1964) S. 596–601.

    Google Scholar 

  • Kripke, S.A.: Semantical analysis of intuitionistic logic I, in: Formal Systems and Recursive Functions, ed. J. N. Crossley and M. A. E. Dummett. Amsterdam: North-Holland Publishing Company 1965.

    Google Scholar 

  • Heyting, A.: Intuitionism, an Introduction. Amsterdam: North-Holland Publishing Company 11956, 21966.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Abteilung für mathematische Logik und Grundlagen der Mathematik, Mathemathisches Institut der Albert-Ludwigs-Universität, Freiburg, Brsg., Deutschland

    Prof. Dr. Hans Hermes

Authors
  1. Prof. Dr. Hans Hermes
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1967 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Hermes, H. (1967). Wortprobleme und Beziehungen zur Aussagenlogik. In: Einführung in die Verbandstheorie. Die Grundlehren der mathematischen Wissenschaften, vol 73. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-86524-4_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-86524-4_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-86525-1

  • Online ISBN: 978-3-642-86524-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation