The seeming interdependence between the concepts of valid inference and proof
From MaRDI portal
Publication:2288270
DOI10.1007/s11245-017-9506-4zbMath1428.03029OpenAlexW2763013782WikidataQ59612228 ScholiaQ59612228MaRDI QIDQ2288270
Publication date: 17 January 2020
Published in: Topoi (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11245-017-9506-4
Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (4)
Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics ⋮ Calculi of epistemic grounding based on Prawitz's theory of grounds ⋮ WHAT IS A RULE OF INFERENCE? ⋮ Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
Cites Work
- Intuitionism. An introduction
- Realizability and intuitionistic logic
- Constructions, proofs and the meaning of logical constants
- Constructivism in mathematics. An introduction. Volume II
- Intuitionistic views on the nature of mathematics
- Implicit epistemic aspects of constructive logic
- Validity concepts in proof-theoretic semantics
- The fundamental problem of general proof theory
- Explaining Deductive Inference
- On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The seeming interdependence between the concepts of valid inference and proof