Introduction: Inferences and proofs

DOI10.1007/s11245-018-9559-zzbMath1428.00054OpenAlexW2795771836WikidataQ113900463 ScholiaQ113900463MaRDI QIDQ2288269

No author found.

Publication date: 17 January 2020

Published in: Topoi (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11245-018-9559-z

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• The epistemic significance of valid inference
• Linear logic
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Explaining Deductive Inference
• Necessity of Thought
• A Notion of C-Justification for Empirical Statements
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Introduction: Inferences and proofs