Peirce, frege, the logic of relations, and church's theorem

DOI10.1080/01445348408837062zbMath0553.03001OpenAlexW1984954313WikidataQ58353559 ScholiaQ58353559MaRDI QIDQ3346278

Randall Roy Dipert

Publication date: 1984

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445348408837062

zbMATH Keywords

quantifierslogic of relationscomplexity of inferences

Mathematics Subject Classification ID

Classical first-order logic (03B10) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)

Related Items (1)

Algebraization of quantifier logics, an introductory overview

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The foundations of mathematics. A study in the philosophy of science
• Boole's criteria for validity and invalidity
• Peirce the logician
• Of servants, lovers, and benefactors: Peirce's algebra of relatives of 1870
• On De Morgan's argument
• Wiener on the logics of Russell and Schröder
• On the calculus of relations

This page was built for publication: Peirce, frege, the logic of relations, and church's theorem