scientific article; zbMATH DE number 3813515

zbMATH Open0514.94022MaRDI QIDQ3661478FDOQ3661478

Peter Schroeder-Heister

Publication date: 1981

Title of this publication is not available (Why is that?)

zbMATH Keywords

minimal systemnatural deductionintuitionismlogical operatorsmodels of logical systems

Mathematics Subject Classification ID

General logic (03B99)

Cited In (15)

• Partial inductive definitions
• Prawitz, Proofs, and Meaning
• Proof-theoretic harmony: towards an intensional account
• Stabilizing quantum disjunction
• Semantic values for natural deduction derivations
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• \textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem
• Intensional harmony as isomorphism
• Proof, meaning and paradox: some remarks
• Classical harmony and separability
• The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle
• On sequence-conclusion natural deduction systems
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules
• Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3661478)