Matches in SemOpenAlex for { <https://semopenalex.org/work/W84870302> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W84870302 abstract "Those who want to formalize naive set theory have to face Curry’s paradox. There are many solutions to avoid Curry’s paradox. Fitch’s approach is less well known, but it deserves to be fully discussed. In this paper, we compare Fitch’s system with other non-classical systems within natural deduction. The philosophical impact on Fitch’s philosophy of mathematics is also addressed." @default.
- W84870302 created "2016-06-24" @default.
- W84870302 creator A5048667897 @default.
- W84870302 creator A5057153302 @default.
- W84870302 date "2008-01-01" @default.
- W84870302 modified "2023-09-26" @default.
- W84870302 title "Curry and Fitch on Paradox" @default.
- W84870302 cites W1488538795 @default.
- W84870302 cites W1490966766 @default.
- W84870302 cites W1967944368 @default.
- W84870302 cites W1996776310 @default.
- W84870302 cites W1999122702 @default.
- W84870302 cites W2006111919 @default.
- W84870302 cites W2041887887 @default.
- W84870302 cites W2045171698 @default.
- W84870302 cites W2092160200 @default.
- W84870302 cites W2150425213 @default.
- W84870302 cites W2901060116 @default.
- W84870302 cites W2911865844 @default.
- W84870302 cites W3131173863 @default.
- W84870302 cites W46517763 @default.
- W84870302 hasPublicationYear "2008" @default.
- W84870302 type Work @default.
- W84870302 sameAs 84870302 @default.
- W84870302 citedByCount "0" @default.
- W84870302 crossrefType "journal-article" @default.
- W84870302 hasAuthorship W84870302A5048667897 @default.
- W84870302 hasAuthorship W84870302A5057153302 @default.
- W84870302 hasConcept C111472728 @default.
- W84870302 hasConcept C138885662 @default.
- W84870302 hasConcept C144237770 @default.
- W84870302 hasConcept C166957645 @default.
- W84870302 hasConcept C177264268 @default.
- W84870302 hasConcept C199360897 @default.
- W84870302 hasConcept C2776608160 @default.
- W84870302 hasConcept C2779304628 @default.
- W84870302 hasConcept C2781029818 @default.
- W84870302 hasConcept C33923547 @default.
- W84870302 hasConcept C41008148 @default.
- W84870302 hasConcept C41895202 @default.
- W84870302 hasConcept C95457728 @default.
- W84870302 hasConceptScore W84870302C111472728 @default.
- W84870302 hasConceptScore W84870302C138885662 @default.
- W84870302 hasConceptScore W84870302C144237770 @default.
- W84870302 hasConceptScore W84870302C166957645 @default.
- W84870302 hasConceptScore W84870302C177264268 @default.
- W84870302 hasConceptScore W84870302C199360897 @default.
- W84870302 hasConceptScore W84870302C2776608160 @default.
- W84870302 hasConceptScore W84870302C2779304628 @default.
- W84870302 hasConceptScore W84870302C2781029818 @default.
- W84870302 hasConceptScore W84870302C33923547 @default.
- W84870302 hasConceptScore W84870302C41008148 @default.
- W84870302 hasConceptScore W84870302C41895202 @default.
- W84870302 hasConceptScore W84870302C95457728 @default.
- W84870302 hasLocation W848703021 @default.
- W84870302 hasOpenAccess W84870302 @default.
- W84870302 hasPrimaryLocation W848703021 @default.
- W84870302 hasRelatedWork W1006682750 @default.
- W84870302 hasRelatedWork W1029911594 @default.
- W84870302 hasRelatedWork W1487402743 @default.
- W84870302 hasRelatedWork W159050603 @default.
- W84870302 hasRelatedWork W1967865420 @default.
- W84870302 hasRelatedWork W1980308847 @default.
- W84870302 hasRelatedWork W2025179691 @default.
- W84870302 hasRelatedWork W2045171698 @default.
- W84870302 hasRelatedWork W2053229421 @default.
- W84870302 hasRelatedWork W2147189849 @default.
- W84870302 hasRelatedWork W2150083035 @default.
- W84870302 hasRelatedWork W2312504538 @default.
- W84870302 hasRelatedWork W2340287671 @default.
- W84870302 hasRelatedWork W2594414629 @default.
- W84870302 hasRelatedWork W2783041435 @default.
- W84870302 hasRelatedWork W2996346635 @default.
- W84870302 hasRelatedWork W2997136652 @default.
- W84870302 hasRelatedWork W2998127659 @default.
- W84870302 hasRelatedWork W3099704840 @default.
- W84870302 hasRelatedWork W657836190 @default.
- W84870302 isParatext "false" @default.
- W84870302 isRetracted "false" @default.
- W84870302 magId "84870302" @default.
- W84870302 workType "article" @default.