Pages that link to "Item:Q1353259"
From MaRDI portal
The following pages link to Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen (Q1353259):
Displaying 18 items.
- Consequence mining. Constants versus consequence relations (Q692175) (← links)
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning (Q2155493) (← links)
- The explosion calculus (Q2186694) (← links)
- From axiomatic logic to natural deduction (Q2259010) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- Eight inference rules for implication (Q2323641) (← links)
- Steps towards a proof-theoretical semantics (Q2339008) (← links)
- Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency (Q2409191) (← links)
- Analyticity, balance and non-admissibility of \textit{Cut} in stoic logic (Q2422314) (← links)
- Semantic values for natural deduction derivations (Q2500822) (← links)
- Cut as Consequence (Q3019775) (← links)
- Autoreferential semantics for many-valued modal logics (Q3647288) (← links)
- Metalogic, Schopenhauer and Universal Logic (Q5118392) (← links)
- The Context of Inference (Q5208107) (← links)
- Stoic Sequent Logic and Proof Theory (Q5208124) (← links)
- The Role of Structural Reasoning in the Genesis of Graph Theory (Q5208125) (← links)
- On Gentzen’s Structural Completeness Proof (Q5213620) (← links)
- A Cut-Like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction (Q5213631) (← links)
