scientific article; zbMATH DE number 1406467
From MaRDI portal
Publication:4939407
DOI<121::AID-MALQ121>3.0.CO;2-A 10.1002/(SICI)1521-3870(200001)46:1<121::AID-MALQ121>3.0.CO;2-AzbMath0946.03067MaRDI QIDQ4939407
Publication date: 25 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (8)
Non-transitive correspondence analysis ⋮ A logic inspired by natural language: quantifiers as subnectors ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ Prawitz, Proofs, and Meaning ⋮ Meaning in Use ⋮ Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules ⋮ Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus ⋮ Varieties of linear calculi
This page was built for publication:
