Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge

Vollständige Systeme modaler und intuitionistischer Logik

Authors: Schütte, Kurt

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-88664-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-642-88665-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (7 chapters)

  • Modalitätensysteme im Rahmen der klassischen Prädikatenlogik

    Schütte, Kurt

    Pages 1-11

  • Syntaktische Eigenschaften schnittfreier Modalitätensysteme

    Schütte, Kurt

    Pages 12-21

  • Beweis des Vollständigkeitssatzes für M′ und S4′

    Schütte, Kurt

    Pages 22-32

  • Einbettung der intuitionistischen Prädikatenlogik in S4′

    Schütte, Kurt

    Pages 33-43

  • Semantik der intuitionistischen Prädikatenlogik nach Kripke

    Schütte, Kurt

    Pages 44-59

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-88664-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-642-88665-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Vollständige Systeme modaler und intuitionistischer Logik
Authors
Series Title
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge
Series Volume
42
Copyright
1968
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin · Heidelberg
eBook ISBN
978-3-642-88664-5
DOI
10.1007/978-3-642-88664-5
Softcover ISBN
978-3-642-88665-2
Edition Number
1
Number of Pages
VIII, 88
Topics