Publication:5635429
From MaRDI portal
zbMath0228.02016MaRDI QIDQ5635429
Publication date: 1970
03B22: Abstract deductive systems
Related Items
Natural deduction calculi and sequent calculi for counterfactual logics, On the ternary relation and conditionality, A natural deduction system for discourse representation theory, Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different, Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs, Reasoning with conditionals