Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics

DOI10.1007/978-3-030-77657-2_8OpenAlexW4312280170MaRDI QIDQ5057054

Peter Schroeder-Heister

Publication date: 14 December 2022

Published in: Axiomatic Thinking I (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-77657-2_8

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Sociology (and profession) of mathematics (01A80)

Related Items (3)

Hilbert’s Axiomatisches Denken ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part I) ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the idea of a general proof theory
• The intentions of intentionality and other new models for modalities
• History and philosophy of constructive type theory
• Ekman's paradox
• Untersuchungen über das logische Schliessen. I
• Hilbert's twenty-fourth problem
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• Validity concepts in proof-theoretic semantics
• The naturality of natural deduction
• Proof-theoretic harmony: towards an intensional account
• Hilbert's Twenty-Fourth Problem
• Identity of Proofs Based on Normalization and Generality
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Open Problems in Proof-Theoretic Semantics
• Proofs from THE BOOK

This page was built for publication: Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics