Ekman's paradox
From MaRDI portal
Publication:1676357
DOI10.1215/00294527-2017-0017zbMath1417.03288OpenAlexW2738584872MaRDI QIDQ1676357
Luca Tranchini, Peter Schroeder-Heister
Publication date: 6 November 2017
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/6efa065d58741805eb290db344fc4345e58ef83d
Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)
Related Items (4)
Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics ⋮ Proof, meaning and paradox: some remarks ⋮ On paradoxes in normal form ⋮ Paradox and Inconsistency: Revising Tennant’s Distinction Through Schroeder-Heister’s Assumption Rules
This page was built for publication: Ekman's paradox
