Advertisement

Mathematische Gesetze der Logik I

Vorlesungen über Aussagenlogik

  • H. Arnold Schmidt

Part of the Die Grundlehren der Mathematischen Wissenschaften book series (GL, volume 69)

Table of contents

  1. Front Matter
    Pages II-XXIV
  2. Alternäre Aussagenlogik

    1. H. Arnold Schmidt
      Pages 1-4
    2. Algebra der Logik

    3. Wertende Logik

      1. H. Arnold Schmidt
        Pages 76-98
      2. H. Arnold Schmidt
        Pages 98-112
    4. Grundlegende Begriffe zur deduktiven Logik

      1. H. Arnold Schmidt
        Pages 128-138
      2. H. Arnold Schmidt
        Pages 138-155
      3. H. Arnold Schmidt
        Pages 155-179
    5. Normaldeduktive alternäre Aussagenlogik

      1. H. Arnold Schmidt
        Pages 179-188
      2. H. Arnold Schmidt
        Pages 188-203
      3. H. Arnold Schmidt
        Pages 203-217
    6. Aufschichtende alternäre Aussagenlogik

  3. Nichtalternäre Aussagenlogik

    1. H. Arnold Schmidt
      Pages 268-271
    2. Die derivative Aussagenlogik und ihre normaldeduktive Kodifikation

      1. H. Arnold Schmidt
        Pages 271-285
      2. H. Arnold Schmidt
        Pages 285-296
      3. H. Arnold Schmidt
        Pages 296-320
      4. H. Arnold Schmidt
        Pages 320-342
    3. Normaldeduktive intuitionistische Aussagenlogik

    4. Aufschichtende derivative und intuitionistische Aussagenlogik

    5. Handliches Entscheidungsverfahren für die natürliche derivative und intuitionistische Aussagenlogik

      1. H. Arnold Schmidt
        Pages 397-409
      2. H. Arnold Schmidt
        Pages 409-428
    6. Strikte Aussagenlogik

      1. H. Arnold Schmidt
        Pages 429-430
      2. H. Arnold Schmidt
        Pages 430-451
      3. H. Arnold Schmidt
        Pages 452-464
    7. Strikte Aussagen- und Modalitätenlogik

  4. Back Matter
    Pages 530-555

About this book

Keywords

Ableitung Algebra Aussagenlogik Beweis Dualität Endlichkeit Funktion Lehrsatz Logik Mathematik Variable mathematische Logik

Authors and affiliations

  • H. Arnold Schmidt
    • 1
  1. 1.Universität MarburgDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-94780-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1959
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-94781-0
  • Online ISBN 978-3-642-94780-3
  • Series Print ISSN 0072-7830
  • Buy this book on publisher's site