Pages that link to "Item:Q3236671"
From MaRDI portal
The following pages link to On the definition of ‘formal deduction’ (Q3236671):
Displaying 12 items.
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- Investigations in many-sorted quantor logic (Q774393) (← links)
- Axiomatizing Belnap's conditional assertion (Q1226999) (← links)
- Alternative semantics for quantified first degree relevant logic (Q1257474) (← links)
- The logic of pragmatic truth (Q1277331) (← links)
- On Jaśkowski's discussive logics (Q1344871) (← links)
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization (Q1914372) (← links)
- From worlds to probabilities: A probabilistic semantics for modal logic (Q2366248) (← links)
- In Memoriam: Leon Albert Henkin 1921–2006 (Q3398617) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- Eine Bemerkung über den Kalkül des natürlichen Schließens (Q3848963) (← links)
- Open formulas and the empty domain (Q5571681) (← links)
