On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning

DOI10.1007/978-3-319-22686-6_2OpenAlexW2272518861MaRDI QIDQ5864195

Dag Prawitz

Publication date: 3 June 2022

Published in: Advances in Proof-Theoretic Semantics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-22686-6_2

zbMATH Keywords

semanticsproofmeaningvalid argumentGentzenHeyting

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55)

Related Items (5)

The fundamental problem of general proof theory ⋮ Inferential Semantics, Paraconsistency, and Preservation of Evidence ⋮ The seeming interdependence between the concepts of valid inference and proof ⋮ Dag Prawitz on proofs, operations and grounding ⋮ Explaining Deductive Inference

This page was built for publication: On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning