Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955991107> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2955991107 abstract "We present an ongoing implementation of a dependent-type the- ory (∆-framework) based on the Edinburgh Logical Framework LF, extended with Proof-functional logical connectives such as in- tersection, union, and strong (or minimal relevant) implication. Their combination opens up new possibilities of formal reasoning on proof-theoretic semantics. We provide some examples in the extended type theory and we outline a type checker. The theory of the system is under investigation. Once validated in vitro, the proof-functional type theory could be successfully plugged into existing truth-functional proof-systems." @default.
- W2955991107 created "2019-07-12" @default.
- W2955991107 creator A5063753405 @default.
- W2955991107 creator A5080883460 @default.
- W2955991107 date "2017-09-08" @default.
- W2955991107 modified "2023-09-23" @default.
- W2955991107 title "Towards an implementation of a logical framework based on intersection and union types" @default.
- W2955991107 hasPublicationYear "2017" @default.
- W2955991107 type Work @default.
- W2955991107 sameAs 2955991107 @default.
- W2955991107 citedByCount "0" @default.
- W2955991107 crossrefType "journal-article" @default.
- W2955991107 hasAuthorship W2955991107A5063753405 @default.
- W2955991107 hasAuthorship W2955991107A5080883460 @default.
- W2955991107 hasConcept C108710211 @default.
- W2955991107 hasConcept C127413603 @default.
- W2955991107 hasConcept C146499914 @default.
- W2955991107 hasConcept C146978453 @default.
- W2955991107 hasConcept C156325763 @default.
- W2955991107 hasConcept C184337299 @default.
- W2955991107 hasConcept C18903297 @default.
- W2955991107 hasConcept C199360897 @default.
- W2955991107 hasConcept C20693621 @default.
- W2955991107 hasConcept C207648694 @default.
- W2955991107 hasConcept C2318724 @default.
- W2955991107 hasConcept C2524010 @default.
- W2955991107 hasConcept C2777299769 @default.
- W2955991107 hasConcept C33923547 @default.
- W2955991107 hasConcept C41008148 @default.
- W2955991107 hasConcept C61151141 @default.
- W2955991107 hasConcept C64543145 @default.
- W2955991107 hasConcept C80444323 @default.
- W2955991107 hasConcept C86803240 @default.
- W2955991107 hasConcept C93682546 @default.
- W2955991107 hasConceptScore W2955991107C108710211 @default.
- W2955991107 hasConceptScore W2955991107C127413603 @default.
- W2955991107 hasConceptScore W2955991107C146499914 @default.
- W2955991107 hasConceptScore W2955991107C146978453 @default.
- W2955991107 hasConceptScore W2955991107C156325763 @default.
- W2955991107 hasConceptScore W2955991107C184337299 @default.
- W2955991107 hasConceptScore W2955991107C18903297 @default.
- W2955991107 hasConceptScore W2955991107C199360897 @default.
- W2955991107 hasConceptScore W2955991107C20693621 @default.
- W2955991107 hasConceptScore W2955991107C207648694 @default.
- W2955991107 hasConceptScore W2955991107C2318724 @default.
- W2955991107 hasConceptScore W2955991107C2524010 @default.
- W2955991107 hasConceptScore W2955991107C2777299769 @default.
- W2955991107 hasConceptScore W2955991107C33923547 @default.
- W2955991107 hasConceptScore W2955991107C41008148 @default.
- W2955991107 hasConceptScore W2955991107C61151141 @default.
- W2955991107 hasConceptScore W2955991107C64543145 @default.
- W2955991107 hasConceptScore W2955991107C80444323 @default.
- W2955991107 hasConceptScore W2955991107C86803240 @default.
- W2955991107 hasConceptScore W2955991107C93682546 @default.
- W2955991107 hasLocation W29559911071 @default.
- W2955991107 hasOpenAccess W2955991107 @default.
- W2955991107 hasPrimaryLocation W29559911071 @default.
- W2955991107 hasRelatedWork W111349018 @default.
- W2955991107 hasRelatedWork W1494516611 @default.
- W2955991107 hasRelatedWork W1524443432 @default.
- W2955991107 hasRelatedWork W1539153734 @default.
- W2955991107 hasRelatedWork W1549614201 @default.
- W2955991107 hasRelatedWork W1555705349 @default.
- W2955991107 hasRelatedWork W1556867883 @default.
- W2955991107 hasRelatedWork W1563089401 @default.
- W2955991107 hasRelatedWork W1573218237 @default.
- W2955991107 hasRelatedWork W1577536563 @default.
- W2955991107 hasRelatedWork W1601703427 @default.
- W2955991107 hasRelatedWork W1813304904 @default.
- W2955991107 hasRelatedWork W2057695226 @default.
- W2955991107 hasRelatedWork W2083981960 @default.
- W2955991107 hasRelatedWork W2116940213 @default.
- W2955991107 hasRelatedWork W2153652776 @default.
- W2955991107 hasRelatedWork W2280808296 @default.
- W2955991107 hasRelatedWork W2282836630 @default.
- W2955991107 hasRelatedWork W2389570364 @default.
- W2955991107 hasRelatedWork W2603452578 @default.
- W2955991107 isParatext "false" @default.
- W2955991107 isRetracted "false" @default.
- W2955991107 magId "2955991107" @default.
- W2955991107 workType "article" @default.