The system LD

DOI10.2307/2267456MaRDI QIDQ5813907zbMATH OpenOpenAlexFDO

Authors 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/2267456

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• scientific article; zbMATH DE number 5018640
• LR and L+R systems
• scientific article; zbMATH DE number 1931693
• Generalized L systems
• scientific article; zbMATH DE number 1978546
• The minimal system \(L_ 0'\)
• \(R\)-systems

Cited in

(6)

• Lash 1.0 (system description)
• On Universal Character of the Primitive Logic
• A Remark on the Intersection of Tow Logics
• A generalization of Curry's theorem
• Normalization and excluded middle. I
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation

This page was built for publication: The system LD

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5813907)