Matches in SemOpenAlex for { <https://semopenalex.org/work/W2444293721> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2444293721 abstract "Utilizing sheaves over topological spaces as natural models, we expose the principles of a logic of extended and variable structures. The resulting model theory, particular case of the logic of topoi, reveals interesting connections between logic and geometry. In this context, we present a notion of generic structure over a sheaf which iluminates the relations between intuitionistic and classical logic, and uni…es the fun- damental results on model construction of …rst order logic, in…nitary logic, and set theory." @default.
- W2444293721 created "2016-06-24" @default.
- W2444293721 creator A5048931535 @default.
- W2444293721 date "1995-01-01" @default.
- W2444293721 modified "2023-09-27" @default.
- W2444293721 title "LOGICA DE LOS HACES DE ESTRUCTURAS por" @default.
- W2444293721 cites W135711220 @default.
- W2444293721 cites W1505296242 @default.
- W2444293721 cites W1519970706 @default.
- W2444293721 cites W1521072660 @default.
- W2444293721 cites W1542760485 @default.
- W2444293721 cites W1557351111 @default.
- W2444293721 cites W169200947 @default.
- W2444293721 cites W1699512023 @default.
- W2444293721 cites W177032397 @default.
- W2444293721 cites W1978413491 @default.
- W2444293721 cites W1996454832 @default.
- W2444293721 cites W2028590532 @default.
- W2444293721 cites W2041603746 @default.
- W2444293721 cites W2058114039 @default.
- W2444293721 cites W2064461340 @default.
- W2444293721 cites W2070761857 @default.
- W2444293721 cites W2077836518 @default.
- W2444293721 cites W2087736116 @default.
- W2444293721 cites W2095877551 @default.
- W2444293721 cites W2097415784 @default.
- W2444293721 cites W2115456387 @default.
- W2444293721 cites W2150690980 @default.
- W2444293721 cites W2157923762 @default.
- W2444293721 cites W2321076184 @default.
- W2444293721 cites W36355091 @default.
- W2444293721 cites W577129422 @default.
- W2444293721 cites W632143945 @default.
- W2444293721 hasPublicationYear "1995" @default.
- W2444293721 type Work @default.
- W2444293721 sameAs 2444293721 @default.
- W2444293721 citedByCount "0" @default.
- W2444293721 crossrefType "journal-article" @default.
- W2444293721 hasAuthorship W2444293721A5048931535 @default.
- W2444293721 hasConcept C102993220 @default.
- W2444293721 hasConcept C124952713 @default.
- W2444293721 hasConcept C142362112 @default.
- W2444293721 hasConcept C150889026 @default.
- W2444293721 hasConcept C166957645 @default.
- W2444293721 hasConcept C182141236 @default.
- W2444293721 hasConcept C205649164 @default.
- W2444293721 hasConcept C2779343474 @default.
- W2444293721 hasConcept C33923547 @default.
- W2444293721 hasConcept C41008148 @default.
- W2444293721 hasConcept C80444323 @default.
- W2444293721 hasConceptScore W2444293721C102993220 @default.
- W2444293721 hasConceptScore W2444293721C124952713 @default.
- W2444293721 hasConceptScore W2444293721C142362112 @default.
- W2444293721 hasConceptScore W2444293721C150889026 @default.
- W2444293721 hasConceptScore W2444293721C166957645 @default.
- W2444293721 hasConceptScore W2444293721C182141236 @default.
- W2444293721 hasConceptScore W2444293721C205649164 @default.
- W2444293721 hasConceptScore W2444293721C2779343474 @default.
- W2444293721 hasConceptScore W2444293721C33923547 @default.
- W2444293721 hasConceptScore W2444293721C41008148 @default.
- W2444293721 hasConceptScore W2444293721C80444323 @default.
- W2444293721 hasLocation W24442937211 @default.
- W2444293721 hasOpenAccess W2444293721 @default.
- W2444293721 hasPrimaryLocation W24442937211 @default.
- W2444293721 isParatext "false" @default.
- W2444293721 isRetracted "false" @default.
- W2444293721 magId "2444293721" @default.
- W2444293721 workType "article" @default.