Completeness in Proof-Theoretic Semantics

DOI10.1007/978-3-319-22686-6_15MaRDI QIDQ5864208zbMATH OpenOpenAlexFDO

Authors Thomas Piecha

Publication date 3 June 2022

Published in Advances in Proof-Theoretic Semantics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-319-22686-6_15

zbMATH Keywords

atomic systemsclassical logiccompletenessintuitionistic logicproof-theoretic validity

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Structure of proofs (03F07) Intuitionistic mathematics (03F55)

Recommendations

• Failure of completeness in proof-theoretic semantics
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• Intuitionistic completeness of first-order logic
• Completeness and incompleteness for intuitionistic logic
• Completeness theorems for first-order logic analysed in constructive type theory

Cited in

(32)

• On denotational completeness
• Completeness for ancestral logic via a computationally-meaningful semantics
• Proof-theoretic modal PA-completeness. III: The syntactic proof
• Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
• Soundness and completeness results for LEA and probability semantics
• Proof-theoretic semantics and inquisitive logic
• Expressive completeness and decidability
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• A New and Formalized Proof of Abstract Completion
• Completeness proof by semantic diagrams for transitive closure of accessibility relation
• scientific article; zbMATH DE number 5872251 (Why is no real title available?)
• scientific article; zbMATH DE number 3853065 (Why is no real title available?)
• Remarks on Semantic Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic λ-Calculus
• The Smyth Completion
• Proving completeness by logic
• Completeness theorems for first-order logic analysed in constructive type theory
• Programming Languages and Systems
• scientific article; zbMATH DE number 7695589 (Why is no real title available?)
• Bilateral Rules as Complex Rules
• Checking Sufficient Completeness by Inductive Theorem Proving
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• Proof-theoretic semantics: an autobiographical survey
• On Dummett's pragmatist justification procedure
• Inferentialist resource semantics
• The proof-theoretic square
• Base-extension semantics for intuitionistic modal logics (extended abstract)
• A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
• Proof-theoretic semantics for first-order logic
• Categorical proof-theoretic semantics
• 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

This page was built for publication: Completeness in Proof-Theoretic Semantics

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