FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W53007941> ?p ?o ?g. }

• W53007941 endingPage "324" @default.
• W53007941 startingPage "287" @default.
• W53007941 abstract "Logic already spanned a great range of topics before the birth of categorical logic. Some celebrated results achieved in logic during the first half of the twentieth century are milestones in the understanding of mathematical relations between syntactic, semantic and algorithmic aspects of the structure of language and reasoning. Logical tools have been exploited in a variety of applications: from linguistics to computer science, from methodology of science to specific physical theories. The very formulation of questions and answers concerning the foundations of mathematics relies on such tools. Finally, mathematical logic has altered the face of philosophy. In view of such outcomes, it is all the more appropriate to consider the impact of categorical methods on logic, since they affect the study of proofs and models, by forging a stricter relationship between a theory and its models, and by enlarging the range of possible models beyond the universe of sets in a way that leads to a substantial refinement of the status ascribed to logic itself." @default.
• W53007941 created "2016-06-24" @default.
• W53007941 creator A5012852474 @default.
• W53007941 date "2011-01-01" @default.
• W53007941 modified "2023-09-27" @default.
• W53007941 title "Logic in Category Theory" @default.
• W53007941 cites W1039903697 @default.
• W53007941 cites W1518444163 @default.
• W53007941 cites W1542760485 @default.
• W53007941 cites W1557351111 @default.
• W53007941 cites W1783953041 @default.
• W53007941 cites W1987296456 @default.
• W53007941 cites W2000295225 @default.
• W53007941 cites W2022837260 @default.
• W53007941 cites W2030088693 @default.
• W53007941 cites W2041181261 @default.
• W53007941 cites W2059529852 @default.
• W53007941 cites W2088563020 @default.
• W53007941 cites W2088862781 @default.
• W53007941 cites W2094804020 @default.
• W53007941 cites W2099684400 @default.
• W53007941 cites W2102816475 @default.
• W53007941 cites W2104505625 @default.
• W53007941 cites W2107674601 @default.
• W53007941 cites W2148077585 @default.
• W53007941 cites W2150690980 @default.
• W53007941 cites W2173023892 @default.
• W53007941 cites W2462126151 @default.
• W53007941 cites W2464901709 @default.
• W53007941 cites W247081748 @default.
• W53007941 cites W2477817270 @default.
• W53007941 cites W2492943837 @default.
• W53007941 cites W2493333586 @default.
• W53007941 cites W4205308139 @default.
• W53007941 cites W4206381645 @default.
• W53007941 cites W4249643576 @default.
• W53007941 cites W4253666772 @default.
• W53007941 cites W999962422 @default.
• W53007941 doi "https://doi.org/10.1007/978-94-007-0214-1_15" @default.
• W53007941 hasPublicationYear "2011" @default.
• W53007941 type Work @default.
• W53007941 sameAs 53007941 @default.
• W53007941 citedByCount "0" @default.
• W53007941 crossrefType "book-chapter" @default.
• W53007941 hasAuthorship W53007941A5012852474 @default.
• W53007941 hasConcept C101874905 @default.
• W53007941 hasConcept C102993220 @default.
• W53007941 hasConcept C108710211 @default.
• W53007941 hasConcept C111472728 @default.
• W53007941 hasConcept C119857082 @default.
• W53007941 hasConcept C124047733 @default.
• W53007941 hasConcept C136197465 @default.
• W53007941 hasConcept C138885662 @default.
• W53007941 hasConcept C154945302 @default.
• W53007941 hasConcept C159985019 @default.
• W53007941 hasConcept C169896238 @default.
• W53007941 hasConcept C192562407 @default.
• W53007941 hasConcept C199360897 @default.
• W53007941 hasConcept C204323151 @default.
• W53007941 hasConcept C2524010 @default.
• W53007941 hasConcept C33923547 @default.
• W53007941 hasConcept C41008148 @default.
• W53007941 hasConcept C47884741 @default.
• W53007941 hasConcept C5274069 @default.
• W53007941 hasConceptScore W53007941C101874905 @default.
• W53007941 hasConceptScore W53007941C102993220 @default.
• W53007941 hasConceptScore W53007941C108710211 @default.
• W53007941 hasConceptScore W53007941C111472728 @default.
• W53007941 hasConceptScore W53007941C119857082 @default.
• W53007941 hasConceptScore W53007941C124047733 @default.
• W53007941 hasConceptScore W53007941C136197465 @default.
• W53007941 hasConceptScore W53007941C138885662 @default.
• W53007941 hasConceptScore W53007941C154945302 @default.
• W53007941 hasConceptScore W53007941C159985019 @default.
• W53007941 hasConceptScore W53007941C169896238 @default.
• W53007941 hasConceptScore W53007941C192562407 @default.
• W53007941 hasConceptScore W53007941C199360897 @default.
• W53007941 hasConceptScore W53007941C204323151 @default.
• W53007941 hasConceptScore W53007941C2524010 @default.
• W53007941 hasConceptScore W53007941C33923547 @default.
• W53007941 hasConceptScore W53007941C41008148 @default.
• W53007941 hasConceptScore W53007941C47884741 @default.
• W53007941 hasConceptScore W53007941C5274069 @default.
• W53007941 hasLocation W530079411 @default.
• W53007941 hasOpenAccess W53007941 @default.
• W53007941 hasPrimaryLocation W530079411 @default.
• W53007941 hasRelatedWork W1528689085 @default.
• W53007941 hasRelatedWork W18183342 @default.
• W53007941 hasRelatedWork W1818420188 @default.
• W53007941 hasRelatedWork W2025849143 @default.
• W53007941 hasRelatedWork W24098000 @default.
• W53007941 hasRelatedWork W250055070 @default.
• W53007941 hasRelatedWork W377785333 @default.
• W53007941 hasRelatedWork W5245068 @default.
• W53007941 hasRelatedWork W615858641 @default.
• W53007941 hasRelatedWork W639153634 @default.
• W53007941 isParatext "false" @default.
• W53007941 isRetracted "false" @default.

• next