Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
From MaRDI portal
Publication:1353259
DOI10.1007/BF01448897zbMath0005.33803MaRDI QIDQ1353259
Publication date: 1932
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/159597
03-XX: Mathematical logic and foundations
Related Items
Metalogic, Schopenhauer and Universal Logic, The Context of Inference, Stoic Sequent Logic and Proof Theory, The Role of Structural Reasoning in the Genesis of Graph Theory, On Gentzen’s Structural Completeness Proof, A Cut-Like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction, Consequence mining. Constants versus consequence relations, Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning, The explosion calculus, From axiomatic logic to natural deduction, A survey of nonstandard sequent calculi, Eight inference rules for implication, Steps towards a proof-theoretical semantics, Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency, Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic, Semantic values for natural deduction derivations, Cut as Consequence, Autoreferential semantics for many-valued modal logics