Die Äquivalenz des Klassischen und Intuitionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in Kleenes KalkülH

DOI10.1007/BF01987832zbMath0178.30601MaRDI QIDQ5567821

W. Stegmüller

Publication date: 1965

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137779

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln
• Unnamed Item
• Unnamed Item

This page was built for publication: Die Äquivalenz des Klassischen und Intuitionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in Kleenes KalkülH