Peirce, frege, the logic of relations, and church's theorem (Q3346278): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q58353559, #quickstatements; #temporary_batch_1706300061798 |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1080/01445348408837062 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1984954313 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The foundations of mathematics. A study in the philosophy of science / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3235339 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boole's criteria for validity and invalidity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5553248 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Wiener on the logics of Russell and Schröder / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3279273 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3281052 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Of servants, lovers, and benefactors: Peirce's algebra of relatives of 1870 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On De Morgan's argument / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Peirce the logician / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the calculus of relations / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 16:14, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Peirce, frege, the logic of relations, and church's theorem |
scientific article |
Statements
Peirce, frege, the logic of relations, and church's theorem (English)
0 references
1984
0 references
logic of relations
0 references
quantifiers
0 references
complexity of inferences
0 references