The independence of the postulates of logic.
type: Item
instance of: scholarly article
title: The independence of the postulates of logic.
zbMATH Open document ID: 58.0064.02
DOI: 10.1090/S0002-9904-1932-05409-X
author: P. Henle
published in: Bulletin of the American Mathematical Society
publication date: 1932-01-01T00:00:00Z
review text: Die vorliegende Note enthält Unabhängigkeitsbeweise für die Axiome des elementaren Aussagenkalküls der ``Principia Mathematica''. Verf. benutzt die ``mathematisierte'' Gestalt dieser Axiome, wie sie \textit{Bernstein} (1931; F. d. M. \(57_{\text{I}}\), 59) formuliert hat, und bringt auch Beweise für die vollständige Unabhängigkeit im Sinne von \textit{E. H. Moore}.
zbMATH DE Number: 2549015
MaRDI profile type: Publication
full work available at URL: s0002-9904-1932-05409-x
OpenAlex ID: W2015036760
description: scientific article; zbMATH DE number 2549015