FRINK Linked Data Fragments server

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

• W7885259 abstract "Two Hilbert calculi for higher-order logic (or theory of types) are introduced. The first is defined in a language that uses just exponential types of power type, and it is obtained by adapting the sequent calculus for local set theory introduced by Bell in [3]. The second one, originally introduced in [5], is defined in a language with arbitrary functional types. Using usual topos semantics we show that both systems are sound and complete." @default.
• W7885259 created "2016-06-24" @default.
• W7885259 creator A5037312962 @default.
• W7885259 creator A5072300699 @default.
• W7885259 date "2002-01-01" @default.
• W7885259 modified "2023-09-27" @default.
• W7885259 title "A complete axiomatization of higher-order intuitionistic logic" @default.
• W7885259 cites W1520893111 @default.
• W7885259 cites W1557351111 @default.
• W7885259 cites W1565996669 @default.
• W7885259 cites W1661076342 @default.
• W7885259 cites W2042927584 @default.
• W7885259 cites W2049362364 @default.
• W7885259 cites W2060709836 @default.
• W7885259 cites W2099684400 @default.
• W7885259 cites W2120713972 @default.
• W7885259 cites W2160331299 @default.
• W7885259 cites W3000593863 @default.
• W7885259 cites W3022591960 @default.
• W7885259 cites W36355091 @default.
• W7885259 cites W577129422 @default.
• W7885259 cites W981129589 @default.
• W7885259 cites W182593038 @default.
• W7885259 hasPublicationYear "2002" @default.
• W7885259 type Work @default.
• W7885259 sameAs 7885259 @default.
• W7885259 citedByCount "2" @default.
• W7885259 crossrefType "journal-article" @default.
• W7885259 hasAuthorship W7885259A5037312962 @default.
• W7885259 hasAuthorship W7885259A5072300699 @default.
• W7885259 hasConcept C108710211 @default.
• W7885259 hasConcept C118615104 @default.
• W7885259 hasConcept C124952713 @default.
• W7885259 hasConcept C136119220 @default.
• W7885259 hasConcept C142362112 @default.
• W7885259 hasConcept C182141236 @default.
• W7885259 hasConcept C184337299 @default.
• W7885259 hasConcept C18903297 @default.
• W7885259 hasConcept C195818886 @default.
• W7885259 hasConcept C199343813 @default.
• W7885259 hasConcept C199360897 @default.
• W7885259 hasConcept C202444582 @default.
• W7885259 hasConcept C20528804 @default.
• W7885259 hasConcept C2318724 @default.
• W7885259 hasConcept C2524010 @default.
• W7885259 hasConcept C2777299769 @default.
• W7885259 hasConcept C2777686260 @default.
• W7885259 hasConcept C33923547 @default.
• W7885259 hasConcept C41008148 @default.
• W7885259 hasConcept C62073222 @default.
• W7885259 hasConcept C65880906 @default.
• W7885259 hasConcept C71924100 @default.
• W7885259 hasConcept C80444323 @default.
• W7885259 hasConcept C86803240 @default.
• W7885259 hasConcept C93682546 @default.
• W7885259 hasConceptScore W7885259C108710211 @default.
• W7885259 hasConceptScore W7885259C118615104 @default.
• W7885259 hasConceptScore W7885259C124952713 @default.
• W7885259 hasConceptScore W7885259C136119220 @default.
• W7885259 hasConceptScore W7885259C142362112 @default.
• W7885259 hasConceptScore W7885259C182141236 @default.
• W7885259 hasConceptScore W7885259C184337299 @default.
• W7885259 hasConceptScore W7885259C18903297 @default.
• W7885259 hasConceptScore W7885259C195818886 @default.
• W7885259 hasConceptScore W7885259C199343813 @default.
• W7885259 hasConceptScore W7885259C199360897 @default.
• W7885259 hasConceptScore W7885259C202444582 @default.
• W7885259 hasConceptScore W7885259C20528804 @default.
• W7885259 hasConceptScore W7885259C2318724 @default.
• W7885259 hasConceptScore W7885259C2524010 @default.
• W7885259 hasConceptScore W7885259C2777299769 @default.
• W7885259 hasConceptScore W7885259C2777686260 @default.
• W7885259 hasConceptScore W7885259C33923547 @default.
• W7885259 hasConceptScore W7885259C41008148 @default.
• W7885259 hasConceptScore W7885259C62073222 @default.
• W7885259 hasConceptScore W7885259C65880906 @default.
• W7885259 hasConceptScore W7885259C71924100 @default.
• W7885259 hasConceptScore W7885259C80444323 @default.
• W7885259 hasConceptScore W7885259C86803240 @default.
• W7885259 hasConceptScore W7885259C93682546 @default.
• W7885259 hasLocation W78852591 @default.
• W7885259 hasOpenAccess W7885259 @default.
• W7885259 hasPrimaryLocation W78852591 @default.
• W7885259 hasRelatedWork W1527948367 @default.
• W7885259 hasRelatedWork W1535450937 @default.
• W7885259 hasRelatedWork W1544929876 @default.
• W7885259 hasRelatedWork W1646646415 @default.
• W7885259 hasRelatedWork W1982758692 @default.
• W7885259 hasRelatedWork W2009938424 @default.
• W7885259 hasRelatedWork W2023242314 @default.
• W7885259 hasRelatedWork W2055558461 @default.
• W7885259 hasRelatedWork W2083186217 @default.
• W7885259 hasRelatedWork W2140189867 @default.
• W7885259 hasRelatedWork W2185755248 @default.
• W7885259 hasRelatedWork W2201994833 @default.
• W7885259 hasRelatedWork W2297035263 @default.
• W7885259 hasRelatedWork W2607947346 @default.
• W7885259 hasRelatedWork W2732055457 @default.
• W7885259 hasRelatedWork W2951101271 @default.
• W7885259 hasRelatedWork W2963852730 @default.

• next