scientific article; zbMATH DE number 3360143
From MaRDI portal
Publication:5633976
Cited in
(18)- Revisiting Zucker's work on the correspondence between cut-elimination and normalisation
- Composition of deductions within the propositions-as-types paradigm
- Prolegomena to a theory of mechanized formal reasoning
- General proof theory: introduction
- The fundamental problem of general proof theory
- What inductive explanations could not be
- Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics
- A normal form for logical derivations implying one for arithmetic derivations
- An intuitionistic formula hierarchy based on high‐school identities
- Reduction of finite and infinite derivations
- Semantic values for natural deduction derivations
- What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics
- An expressivist strategy to understand logical forms
- Proof-theoretical analysis: Weak systems of functions and classes
- Realizability and intuitionistic logic
- Cut elimination, substitution and normalisation
- Geometry and generality in Frege's philosophy of arithmetic.
- Rosser provability and the second incompleteness theorem
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5633976)
