Completeness in Proof-Theoretic Semantics

DOI10.1007/978-3-319-22686-6_15OpenAlexW2277133989MaRDI QIDQ5864208

Thomas Piecha

Publication date: 3 June 2022

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

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

zbMATH Keywords

completenessintuitionistic logicclassical logicatomic systemsproof-theoretic validity

Mathematics Subject Classification ID

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

Related Items (4)

Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics ⋮ Bilateral Rules as Complex Rules ⋮ Proof-theoretic semantics and inquisitive logic ⋮ Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds

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