scientific article; zbMATH DE number 6130990

zbMath1275.03053MaRDI QIDQ4903811

Peter Schroeder-Heister

Publication date: 27 January 2013

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics ⋮ A more general general proof theory ⋮ Reprint of: ``A more general general proof theory ⋮ Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Prawitz, Proofs, and Meaning ⋮ A Cut-Like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction ⋮ Game of grounds ⋮ Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus ⋮ Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning