Advances in proof-theoretic semantics

DOI10.1007/978-3-319-22686-6zbMath1331.03009OpenAlexW4213332023MaRDI QIDQ495649

No author found.

Publication date: 14 September 2015

Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-22686-6

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55)

Related Items (16)

General proof theory: introduction ⋮ Gödel on deduction ⋮ Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics ⋮ The placeholder view of assumptions and the Curry-Howard correspondence ⋮ Models of HoTT and the Constructive View of Theories ⋮ A novel approach to equality ⋮ WHAT IS A RULE OF INFERENCE? ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part I) ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part II) ⋮ The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract) ⋮ Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization ⋮ Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms ⋮ Subatomic negation ⋮ Discussing Hilbert's 24th problem ⋮ FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC ⋮ The calculus of natural calculation

This page was built for publication: Advances in proof-theoretic semantics