Derivative →- und →⌝-Logik

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

Zusammenfassung

In § 85 erkannten wir: nicht jede →-Wahrform ist beweisbar aus den bloßen →-Axiomen des Fregeukasiewiczschen-Axiomensystems (S. 204); es gibt vielmehr reine Implikationsformen, die zu ihrem Beweis außerdem etwa das Axiom FL 1, das die Negation einbezieht, oder aber das weniger durchsichtige Axiom FL 10 (S. 214) benötigen.

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