On the definition of negation by a fixed proposition in inferential calculus

DOI10.2307/2266240zbMath0047.25101OpenAlexW2057570323MaRDI QIDQ5813182

Haskell B. Curry

Publication date: 1952

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2266240

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ On negation: Pure local rules