Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/ein-verallgemeinerter-widerlegungsbegriff-f-r-gentzenkalk-le-DQAp1Car5A
References (4)
-
F. Kutschera (1968)
Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der GentzensematikArchiv für mathematische Logik und Grundlagenforschung, 11
-
G. Gentzen (1935)
Untersuchungen über das logische Schließen. IMathematische Zeitschrift, 39
-
W. Ackermann (1950)
Widerspruchsfreier Aufbau der Logik. Typenfreies System ohne tertium non daturJournal of Symbolic Logic, 15
-
W. Ackermann (1950)
Widerspruchsfreier Aufbau der Logik IJournal of Symbolic Logic, 15
- Publisher
- Springer Journals
- Copyright
- Copyright © 1969 by Verlag W. Kohlhammer
- Subject
- Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
- ISSN
- 0933-5846
- eISSN
- 1432-0665
- DOI
- 10.1007/BF01969697
- Publisher site
- See Article on Publisher Site
Abstract
Journal
Archive for Mathematical Logic – Springer Journals
Published: Jul 5, 2005