Pages that link to "Item:Q1353259"
From MaRDI portal
The following pages link to Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen (Q1353259):
Displayed 7 items.
- Consequence mining. Constants versus consequence relations (Q692175) (← links)
- From axiomatic logic to natural deduction (Q2259010) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- Steps towards a proof-theoretical semantics (Q2339008) (← links)
- Semantic values for natural deduction derivations (Q2500822) (← links)
- Cut as Consequence (Q3019775) (← links)
- Autoreferential semantics for many-valued modal logics (Q3647288) (← links)