Logical algebras as formal systems: H. B. Curry's approach to algebraic logic

zbMATH Open1295.03046MaRDI QIDQ5416151FDOQ5416151

Authors: Jonathan P. Seldin 

Publication date: 19 May 2014

Recommendations

• scientific article; zbMATH DE number 6476783
• On formal objects
• Curry algebras P\(\tau\)
• scientific article; zbMATH DE number 975282
• scientific article; zbMATH DE number 1303723

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Other algebras related to logic (03G25)

Cited In (2)

• On formal objects
• Curry's formalism as structuralism

This page was built for publication: Logical algebras as formal systems: H. B. Curry's approach to algebraic logic

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