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

DOI10.1007/BF01969992zbMath0071.00902MaRDI QIDQ3233199

Heinz Gumin, Hans Hermes

Publication date: 1956

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

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

zbMATH Keywords

foundations, philosophy, logic

Related Items (2)

Die Äquivalenz des Klassischen und Intuitionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in Kleenes KalkülH ⋮ Eine Bemerkung über den Kalkül des natürlichen Schließens

Cites Work

• On natural deduction

This page was built for publication: Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln