Constructive validity of a generalized Kreisel-Putnam rule

DOI10.1007/S11225-024-10129-XMaRDI QIDQ6916899zbMATH OpenFDO

Authors Ivo Pezlar

Publication date 14 October 2025

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11225-024-10129-X

zbMATH Keywords

BHK semanticsconstructive validityCurry-Howard correspondenceHarrop ruleinferentialismKreisel-Putnam ruleproof-theoretic semanticssplit rule

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A generalization of inquisitive semantics
• A judgmental reconstruction of modal logic
• A note on schematic validity and completeness in Prawitz's semantics
• A propositional calculus with denumerable matrix
• A Survey of Propositional Realizability Logic
• Admissible and derivable rules in intuitionistic logic
• Admissible tools in the kitchen of intuitionistic logic
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• An Introduction to Proof Theory
• Combinatory logic. With two sections by William Craig.
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• Constructive semantics, admissibility of rules and the validity of Peirce's law
• Disjunction and existence under implication in elementary intuitionistic formalisms
• Domain theory in logical form
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Failure of completeness in proof-theoretic semantics
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• scientific article; zbMATH DE number 4139716 (Why is no real title available?)
• scientific article; zbMATH DE number 3817038 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3758289 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 730303 (Why is no real title available?)
• scientific article; zbMATH DE number 7503174 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3316031 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• scientific article; zbMATH DE number 3074853 (Why is no real title available?)
• scientific article; zbMATH DE number 3094260 (Why is no real title available?)
• Intensional interpretations of functionals of finite type I
• Intermediate logics and Visser's rules
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Metamathematics of fuzzy logic
• On disjunctions and existential statements in intuitionistic systems of logic
• On the admissible rules of intuitionistic propositional logic
• On the interpretation of intuitionistic number theory
• On two problems of Harvey Friedman
• Program extraction from normalization proofs
• Proof, meaning and paradox: some remarks
• Proof-theoretic semantics and inquisitive logic
• Proofs and computations
• Questions and dependency in intuitionistic logic
• Structural proof theory. With an appendix by Aarne Ranta
• Untersuchungen über das logische Schließen. I.
• Validity concepts in proof-theoretic semantics
• Zum intuitionistischen Aussagekalkül.

Cited in

(2)

• From explosion to implosion: a new justification for the ex falso quodlibet rule
• A proof-theoretic interpolation theorem for inquisitive propositional logic

This page was built for publication: Constructive validity of a generalized Kreisel-Putnam rule

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