The definitional view of atomic systems in proof-theoretic semantics

MaRDI QIDQ5224891zbMATH OpenFDO

Authors Thomas Piecha, Peter Schroeder-Heister

Publication date 24 July 2019

zbMATH Keywords

definitional reflectionDummett's fundamental assumptionproof-theoretic semanticsvalidity of atomic formulas

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Rules for subatomic derivation
• scientific article; zbMATH DE number 7307096
• Views of proof-theoretic semantics: reified proof-theoretic meanings
• Validity concepts in proof-theoretic semantics
• SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS

Cited in

(11)

• A refined interpretation of intuitionistic logic by means of atomic polymorphism
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• scientific article; zbMATH DE number 92605 (Why is no real title available?)
• scientific article; zbMATH DE number 7307096 (Why is no real title available?)
• Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
• Proof-theoretic semantics: an autobiographical survey
• Proof-theoretic semantics for first-order logic
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• From proof-theoretic validity to base-extension semantics for intuitionistic propositional logic

This page was built for publication: The definitional view of atomic systems in proof-theoretic semantics

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