General proof theory: introduction

DOI10.1007/S11225-018-9818-4MaRDI QIDQ2631640zbMATHOpenAlexWikidataFDO

Authors

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

• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3360143 (Why is no real title available?)
• Advances in proof-theoretic semantics
• Homotopy type theory. Univalent foundations of mathematics
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• Inference as doxastic agency. I: The basics of justification stit logic
• Is there a ``Hilbert thesis?
• On the Paths of Categories
• Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• The naturality of natural deduction
• Untersuchungen über das logische Schliessen. II
• Validity concepts in proof-theoretic semantics

Cited in

(4)

• Proof-theoretic semantics: an autobiographical survey
• Reprint of: ``A more general general proof theory
• scientific article; zbMATH DE number 4049638 (Why is no real title available?)
• Introduction: Mathesis Universalis, Proof and Computation

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

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