scientific article; zbMATH DE number 3813515
From MaRDI portal
Publication:3661478
Cited in
(17)- The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle
- On sequence-conclusion natural deduction systems
- Partial inductive definitions
- Stabilizing quantum disjunction
- Classical harmony and separability
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
- Proof, meaning and paradox: some remarks
- Semantic values for natural deduction derivations
- Proof-theoretic harmony: towards an intensional account
- Prawitz, Proofs, and Meaning
- 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
- Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
- \textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem
- Intensional harmony as isomorphism
- Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics
- Geometric theories in inquisitive modal logic
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)
