General proof theory: introduction

DOI10.1007/s11225-018-9818-4zbMath1412.00050OpenAlexW2891069178WikidataQ129323252 ScholiaQ129323252MaRDI QIDQ2631640

No author found.

Publication date: 15 May 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-018-9818-4

zbMATH Keywords

natural deductionproof-theoretic semanticsgeneral proof theory

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Advances in proof-theoretic semantics
• Untersuchungen über das logische Schliessen. II
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• Validity concepts in proof-theoretic semantics
• Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
• Is there a ``Hilbert thesis?
• Inference as doxastic agency. I: The basics of justification stit logic
• The naturality of natural deduction
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• Homotopy Type Theory: Univalent Foundations of Mathematics
• On the Paths of Categories

This page was built for publication: General proof theory: introduction