FRINK Linked Data Fragments server

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

• W2016979877 abstract "The concept of fibring is extended to higher-order logics with arbitrary modalities and binding operators. A general completeness theorem is established for such logics including HOL and with the meta-theorem of deduction. As a corollary, completeness is shown to be preserved when fibring such rich logics. This result is extended to weaker logics in the cases where fibring preserves conservativeness of HOL-enrichments. Soundness is shown to be preserved by fibring without any further assumptions." @default.
• W2016979877 created "2016-06-24" @default.
• W2016979877 creator A5020274709 @default.
• W2016979877 creator A5037312962 @default.
• W2016979877 creator A5072300699 @default.
• W2016979877 date "2003-08-01" @default.
• W2016979877 modified "2023-09-23" @default.
• W2016979877 title "Fibring Logics with Topos Semantics" @default.
• W2016979877 cites W127839926 @default.
• W2016979877 cites W1963762880 @default.
• W2016979877 cites W1998538047 @default.
• W2016979877 cites W2022355674 @default.
• W2016979877 cites W2036986624 @default.
• W2016979877 cites W2042927584 @default.
• W2016979877 cites W2049362364 @default.
• W2016979877 cites W2060709836 @default.
• W2016979877 cites W2060842554 @default.
• W2016979877 cites W2564698430 @default.
• W2016979877 cites W2913347770 @default.
• W2016979877 cites W3215530721 @default.
• W2016979877 cites W36355091 @default.
• W2016979877 cites W7885259 @default.
• W2016979877 doi "https://doi.org/10.1093/logcom/13.4.595" @default.
• W2016979877 hasPublicationYear "2003" @default.
• W2016979877 type Work @default.
• W2016979877 sameAs 2016979877 @default.
• W2016979877 citedByCount "17" @default.
• W2016979877 countsByYear W20169798772012 @default.
• W2016979877 countsByYear W20169798772014 @default.
• W2016979877 countsByYear W20169798772015 @default.
• W2016979877 crossrefType "journal-article" @default.
• W2016979877 hasAuthorship W2016979877A5020274709 @default.
• W2016979877 hasAuthorship W2016979877A5037312962 @default.
• W2016979877 hasAuthorship W2016979877A5072300699 @default.
• W2016979877 hasConcept C102993220 @default.
• W2016979877 hasConcept C118615104 @default.
• W2016979877 hasConcept C124952713 @default.
• W2016979877 hasConcept C134306372 @default.
• W2016979877 hasConcept C142362112 @default.
• W2016979877 hasConcept C154945302 @default.
• W2016979877 hasConcept C160131679 @default.
• W2016979877 hasConcept C17231256 @default.
• W2016979877 hasConcept C17435882 @default.
• W2016979877 hasConcept C182141236 @default.
• W2016979877 hasConcept C184337299 @default.
• W2016979877 hasConcept C199343813 @default.
• W2016979877 hasConcept C199360897 @default.
• W2016979877 hasConcept C200116569 @default.
• W2016979877 hasConcept C202444582 @default.
• W2016979877 hasConcept C2524010 @default.
• W2016979877 hasConcept C2777686260 @default.
• W2016979877 hasConcept C2780012671 @default.
• W2016979877 hasConcept C33203268 @default.
• W2016979877 hasConcept C33923547 @default.
• W2016979877 hasConcept C39920170 @default.
• W2016979877 hasConcept C41008148 @default.
• W2016979877 hasConcept C42011625 @default.
• W2016979877 hasConcept C5263885 @default.
• W2016979877 hasConcept C58166 @default.
• W2016979877 hasConcept C71924100 @default.
• W2016979877 hasConcept C86602344 @default.
• W2016979877 hasConceptScore W2016979877C102993220 @default.
• W2016979877 hasConceptScore W2016979877C118615104 @default.
• W2016979877 hasConceptScore W2016979877C124952713 @default.
• W2016979877 hasConceptScore W2016979877C134306372 @default.
• W2016979877 hasConceptScore W2016979877C142362112 @default.
• W2016979877 hasConceptScore W2016979877C154945302 @default.
• W2016979877 hasConceptScore W2016979877C160131679 @default.
• W2016979877 hasConceptScore W2016979877C17231256 @default.
• W2016979877 hasConceptScore W2016979877C17435882 @default.
• W2016979877 hasConceptScore W2016979877C182141236 @default.
• W2016979877 hasConceptScore W2016979877C184337299 @default.
• W2016979877 hasConceptScore W2016979877C199343813 @default.
• W2016979877 hasConceptScore W2016979877C199360897 @default.
• W2016979877 hasConceptScore W2016979877C200116569 @default.
• W2016979877 hasConceptScore W2016979877C202444582 @default.
• W2016979877 hasConceptScore W2016979877C2524010 @default.
• W2016979877 hasConceptScore W2016979877C2777686260 @default.
• W2016979877 hasConceptScore W2016979877C2780012671 @default.
• W2016979877 hasConceptScore W2016979877C33203268 @default.
• W2016979877 hasConceptScore W2016979877C33923547 @default.
• W2016979877 hasConceptScore W2016979877C39920170 @default.
• W2016979877 hasConceptScore W2016979877C41008148 @default.
• W2016979877 hasConceptScore W2016979877C42011625 @default.
• W2016979877 hasConceptScore W2016979877C5263885 @default.
• W2016979877 hasConceptScore W2016979877C58166 @default.
• W2016979877 hasConceptScore W2016979877C71924100 @default.
• W2016979877 hasConceptScore W2016979877C86602344 @default.
• W2016979877 hasLocation W20169798771 @default.
• W2016979877 hasOpenAccess W2016979877 @default.
• W2016979877 hasPrimaryLocation W20169798771 @default.
• W2016979877 hasRelatedWork W1483213041 @default.
• W2016979877 hasRelatedWork W1563392290 @default.
• W2016979877 hasRelatedWork W1576648414 @default.
• W2016979877 hasRelatedWork W1587224678 @default.
• W2016979877 hasRelatedWork W1778728081 @default.
• W2016979877 hasRelatedWork W2099080307 @default.
• W2016979877 hasRelatedWork W2294570182 @default.
• W2016979877 hasRelatedWork W27605384 @default.
• W2016979877 hasRelatedWork W2919409937 @default.

• next