scientific article; zbMATH DE number 3360143
From MaRDI portal
Publication:5633976
zbMath0227.02013MaRDI QIDQ5633976
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (17)
A normal form for logical derivations implying one for arithmetic derivations ⋮ General proof theory: introduction ⋮ The fundamental problem of general proof theory ⋮ Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics ⋮ Prolegomena to a theory of mechanized formal reasoning ⋮ An intuitionistic formula hierarchy based on high‐school identities ⋮ Proof-theoretical analysis: Weak systems of functions and classes ⋮ What inductive explanations could not be ⋮ Composition of deductions within the propositions-as-types paradigm ⋮ Semantic values for natural deduction derivations ⋮ What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics ⋮ Cut Elimination, Substitution and Normalisation ⋮ Reduction of finite and infinite derivations ⋮ Geometry and generality in Frege's philosophy of arithmetic. ⋮ Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation ⋮ Realizability and intuitionistic logic ⋮ Rosser provability and the second incompleteness theorem
This page was built for publication:
