scientific article; zbMATH DE number 3062910

zbMath0041.34807MaRDI QIDQ5802120

Haskell B. Curry

Publication date: 1950

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items

A dual-context sequent calculus for the constructive modal logic S4, Variants of the basic calculus of constructions, Models for normal intuitionistic modal logics, SEMANTIC POLLUTION AND SYNTACTIC PURITY, MATHEMATICAL INFERENCE AND LOGICAL INFERENCE, Propositional lax logic, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, What is strict implication?, Extending the Curry-Howard interpretation to linear, relevant and other resource logics, A completeness theorem in modal logic, Mathematical modal logic: A view of its evolution, Priest on Negation, The Different Ways in which Logic is (said to be) Formal, HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY, Normalization and excluded middle. I, General-Elimination Harmony and Higher-Level Rules, A cut-elimination proof in positive relevant logic with necessity, A new symbolism for the propositional calculus