scientific article
From MaRDI portal
Publication:3661478
zbMath0514.94022MaRDI QIDQ3661478
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Stabilizing quantum disjunction ⋮ Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus ⋮ Proof-theoretic harmony: towards an intensional account ⋮ Partial inductive definitions ⋮ The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony ⋮ Semantic values for natural deduction derivations ⋮ Proof, meaning and paradox: some remarks ⋮ Prawitz, Proofs, and Meaning ⋮ Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules ⋮ Classical harmony and separability ⋮ Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus ⋮ The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle ⋮ On sequence-conclusion natural deduction systems
