Following all the rules: intuitionistic completeness for generalized proof-theoretic validity

DOI10.1093/ANALYS/ANAC100MaRDI QIDQ6836678zbMATH OpenFDO

Authors Will Stafford, Victor Hugo Nascimento

Publication date 26 March 2026

Published in Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1093/ANALYS/ANAC100

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites work

• Advances in proof-theoretic semantics
• Constructivism in mathematics. An introduction. Volume II
• Failure of completeness in proof-theoretic semantics
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• Meaning approached via proofs
• On Dummett’s “Proof-Theoretic Justifications of Logical Laws”
• Positive formulas in intuitionistic and minimal logic
• Proof-theoretic semantics and inquisitive logic
• Validity concepts in proof-theoretic semantics

Cited in

(8)

• Inferentialist resource semantics
• A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
• Base-extension semantics for modal logic
• Proof-theoretic semantics for first-order logic
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• Classical logic, uniformity, and weak excluded middle in non-monotonic proof-theoretic semantics
• From proof-theoretic validity to base-extension semantics for intuitionistic propositional logic
• A proof-theoretic approach to the semantics of classical linear logic

This page was built for publication: Following all the rules: intuitionistic completeness for generalized proof-theoretic validity

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