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

MaRDI QIDQ5416151zbMATH OpenFDO

Authors Jonathan P. Seldin

Publication date 19 May 2014

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)

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

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)