Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
From MaRDI portal
Publication:1353259
DOI10.1007/BF01448897zbMath0005.33803WikidataQ56082428 ScholiaQ56082428MaRDI QIDQ1353259
No author found.
Publication date: 1932
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/159597
Related Items (18)
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency ⋮ The explosion calculus ⋮ Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic ⋮ Metalogic, Schopenhauer and Universal Logic ⋮ Cut as Consequence ⋮ Consequence mining. Constants versus consequence relations ⋮ From axiomatic logic to natural deduction ⋮ A survey of nonstandard sequent calculi ⋮ Semantic values for natural deduction derivations ⋮ 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 ⋮ Autoreferential semantics for many-valued modal logics ⋮ Eight inference rules for implication ⋮ Steps towards a proof-theoretical semantics
This page was built for publication: Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
