scientific article; zbMATH DE number 3361858
From MaRDI portal
Publication:5635429
zbMath0228.02016MaRDI QIDQ5635429
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Natural deduction calculi and sequent calculi for counterfactual logics ⋮ On the ternary relation and conditionality ⋮ Reasoning with conditionals ⋮ Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ A natural deduction system for discourse representation theory
This page was built for publication:
