scientific article; zbMATH DE number 3360143

Cited in

(22)

Prolegomena to a theory of mechanized formal reasoning
Reduction of finite and infinite derivations
Geometry and generality in Frege's philosophy of arithmetic.
What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics
Rosser provability and the second incompleteness theorem
What inductive explanations could not be
Composition of deductions within the propositions-as-types paradigm
A normal form for logical derivations implying one for arithmetic derivations
Semantic values for natural deduction 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
An intuitionistic formula hierarchy based on high‐school identities
Cut elimination, substitution and normalisation
Revisiting Zucker's work on the correspondence between cut-elimination and normalisation
An expressivist strategy to understand logical forms
Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics
Meaning and identity of proofs in a bilateralist setting: a two-sorted typed lambda-calculus for proofs and refutations
Natural constructive proofs of A via A B, proof paradoxes, and impredicativity
Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics
Realizability and intuitionistic logic
Proof-theoretical analysis: Weak systems of functions and classes

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)