FRINK Linked Data Fragments server

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

• W3089273874 abstract "This paper explores proof-theoretic aspects of hybrid type-logical grammars , a logic combining Lambek grammars with lambda grammars. We prove some basic properties of the calculus, such as normalisation and the subformula property and also present both a sequent and a proof net calculus for hybrid type-logical grammars. In addition to clarifying the logical foundations of hybrid type-logical grammars, the current study opens the way to variants and extensions of the original system, including but not limited to a non-associative version and a multimodal version incorporating structural rules and unary modes." @default.
• W3089273874 created "2020-10-01" @default.
• W3089273874 creator A5029189663 @default.
• W3089273874 creator A5076849932 @default.
• W3089273874 date "2020-09-22" @default.
• W3089273874 modified "2023-09-25" @default.
• W3089273874 title "Logical foundations for hybrid type-logical grammars." @default.
• W3089273874 cites W148203993 @default.
• W3089273874 cites W1484430112 @default.
• W3089273874 cites W1494691147 @default.
• W3089273874 cites W1524052889 @default.
• W3089273874 cites W1537820832 @default.
• W3089273874 cites W1547470788 @default.
• W3089273874 cites W1835145651 @default.
• W3089273874 cites W185619890 @default.
• W3089273874 cites W1991993981 @default.
• W3089273874 cites W2021289373 @default.
• W3089273874 cites W2023695988 @default.
• W3089273874 cites W2064236106 @default.
• W3089273874 cites W2073131243 @default.
• W3089273874 cites W2077252801 @default.
• W3089273874 cites W2083462122 @default.
• W3089273874 cites W2094160299 @default.
• W3089273874 cites W2097396421 @default.
• W3089273874 cites W2185198455 @default.
• W3089273874 cites W2243297602 @default.
• W3089273874 cites W2251927553 @default.
• W3089273874 cites W2273648634 @default.
• W3089273874 cites W2323378191 @default.
• W3089273874 cites W2328580899 @default.
• W3089273874 cites W2401617927 @default.
• W3089273874 cites W2911865844 @default.
• W3089273874 cites W2951185660 @default.
• W3089273874 cites W2965884069 @default.
• W3089273874 cites W3030103185 @default.
• W3089273874 cites W3113503080 @default.
• W3089273874 cites W3175365780 @default.
• W3089273874 cites W2154430635 @default.
• W3089273874 hasPublicationYear "2020" @default.
• W3089273874 type Work @default.
• W3089273874 sameAs 3089273874 @default.
• W3089273874 citedByCount "0" @default.
• W3089273874 crossrefType "posted-content" @default.
• W3089273874 hasAuthorship W3089273874A5029189663 @default.
• W3089273874 hasAuthorship W3089273874A5076849932 @default.
• W3089273874 hasConcept C108710211 @default.
• W3089273874 hasConcept C111404639 @default.
• W3089273874 hasConcept C118615104 @default.
• W3089273874 hasConcept C125950753 @default.
• W3089273874 hasConcept C134083981 @default.
• W3089273874 hasConcept C135790938 @default.
• W3089273874 hasConcept C142156749 @default.
• W3089273874 hasConcept C154945302 @default.
• W3089273874 hasConcept C159423971 @default.
• W3089273874 hasConcept C199360897 @default.
• W3089273874 hasConcept C202444582 @default.
• W3089273874 hasConcept C2524010 @default.
• W3089273874 hasConcept C29184939 @default.
• W3089273874 hasConcept C33923547 @default.
• W3089273874 hasConcept C41008148 @default.
• W3089273874 hasConcept C53893814 @default.
• W3089273874 hasConcept C61237538 @default.
• W3089273874 hasConcept C62073222 @default.
• W3089273874 hasConcept C6489637 @default.
• W3089273874 hasConcept C65880906 @default.
• W3089273874 hasConcept C67621940 @default.
• W3089273874 hasConcept C78023250 @default.
• W3089273874 hasConcept C79243999 @default.
• W3089273874 hasConcept C85343465 @default.
• W3089273874 hasConcept C89421646 @default.
• W3089273874 hasConcept C97212296 @default.
• W3089273874 hasConceptScore W3089273874C108710211 @default.
• W3089273874 hasConceptScore W3089273874C111404639 @default.
• W3089273874 hasConceptScore W3089273874C118615104 @default.
• W3089273874 hasConceptScore W3089273874C125950753 @default.
• W3089273874 hasConceptScore W3089273874C134083981 @default.
• W3089273874 hasConceptScore W3089273874C135790938 @default.
• W3089273874 hasConceptScore W3089273874C142156749 @default.
• W3089273874 hasConceptScore W3089273874C154945302 @default.
• W3089273874 hasConceptScore W3089273874C159423971 @default.
• W3089273874 hasConceptScore W3089273874C199360897 @default.
• W3089273874 hasConceptScore W3089273874C202444582 @default.
• W3089273874 hasConceptScore W3089273874C2524010 @default.
• W3089273874 hasConceptScore W3089273874C29184939 @default.
• W3089273874 hasConceptScore W3089273874C33923547 @default.
• W3089273874 hasConceptScore W3089273874C41008148 @default.
• W3089273874 hasConceptScore W3089273874C53893814 @default.
• W3089273874 hasConceptScore W3089273874C61237538 @default.
• W3089273874 hasConceptScore W3089273874C62073222 @default.
• W3089273874 hasConceptScore W3089273874C6489637 @default.
• W3089273874 hasConceptScore W3089273874C65880906 @default.
• W3089273874 hasConceptScore W3089273874C67621940 @default.
• W3089273874 hasConceptScore W3089273874C78023250 @default.
• W3089273874 hasConceptScore W3089273874C79243999 @default.
• W3089273874 hasConceptScore W3089273874C85343465 @default.
• W3089273874 hasConceptScore W3089273874C89421646 @default.
• W3089273874 hasConceptScore W3089273874C97212296 @default.
• W3089273874 hasLocation W30892738741 @default.
• W3089273874 hasOpenAccess W3089273874 @default.
• W3089273874 hasPrimaryLocation W30892738741 @default.

• next