Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen

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

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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