General proof theory: introduction

DOI10.1007/S11225-018-9818-4zbMATH Open1412.00050OpenAlexW2891069178WikidataQ129323252 ScholiaQ129323252MaRDI QIDQ2631640FDOQ2631640

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

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

Cited In (4)

• Proof-theoretic semantics: an autobiographical survey
• Introduction: Mathesis Universalis, Proof and Computation
• Title not available (Why is that?)
• Reprint of: ``A more general general proof theory

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)