Derivative →∧- und →∧⌝-Logik

  • H. Arnold Schmidt
Part of the Die Grundlehren der Mathematischen Wissenschaften book series (GL, volume 69)

Zusammenfassung

Die derivativen →-Formen wurden zunächst nicht normaldeduktiv definiert, sondern es wurden vorerst die direkten Formen in struktureller Weise mittels des Grundschlusses allein definiert; diese — offenbar nicht endliche — Menge der direkten Formen wurde dann gegen den Grundschluß abgeschlossen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag OHG. Berlin · Göttingen · Heidelberg 1959

Authors and Affiliations

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

Personalised recommendations