The proof-theoretic square

DOI10.1007/S11229-023-04203-5MaRDI QIDQ6836070zbMATH OpenFDO

Authors Antonio Piccolomini d'Aragona

Publication date 27 March 2026

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11229-023-04203-5

zbMATH Keywords

inferencejustificationPrawitzproof-theoretic semanticsvalidity

Mathematics Subject Classification ID

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

Cites work

• A natural extension of natural deduction
• Completeness in Proof-Theoretic Semantics
• Constructivism in mathematics. An introduction. Volume II
• Explaining deductive inference
• Failure of completeness in proof-theoretic semantics
• From proof-objects to grounds
• scientific article; zbMATH DE number 1150715 (Why is no real title available?)
• scientific article; zbMATH DE number 819916 (Why is no real title available?)
• scientific article; zbMATH DE number 3895056 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• Inferential Semantics
• Informal and absolute proofs: some remarks from a Gödelian perspective
• Open Problems in Proof-Theoretic Semantics
• Proof-theoretic semantics
• Proof-theoretic semantics and inquisitive logic
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
• Proof, meaning and paradox: some remarks
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• Untersuchungen über das logische Schließen. II.
• Validity concepts in proof-theoretic semantics

Cited in

(1)

• A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic

This page was built for publication: The proof-theoretic square

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