FRINK Linked Data Fragments server

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

• W3046253631 abstract "We investigate language interpretations of two extensions of the Lambek calculus: with additive conjunction and disjunction and with additive conjunction and the unit constant. For extensions with additive connectives, we show that conjunction and disjunction behave differently. Adding both of them leads to incompleteness due to the distributivity law. We show that with conjunction only no issues with distributivity arise. In contrast, there exists a corollary of the distributivity law in the language with disjunction only which is not derivable in the non-distributive system. Moreover, this difference keeps valid for systems with permutation and/or weakening structural rules, that is, intuitionistic linear and affine logics and affine multiplicative-additive Lambek calculus. For the extension of the Lambek with the unit constant, we present a calculus which reflects natural algebraic properties of the empty word. We do not claim completeness for this calculus, but we prove undecidability for the whole range of systems extending this minimal calculus and sound w.r.t. language models. As a corollary, we show that in the language with the unit there exissts a sequent that is true if all variables are interpreted by regular language, but not true in language models in general." @default.
• W3046253631 created "2020-08-07" @default.
• W3046253631 creator A5048798287 @default.
• W3046253631 creator A5054465062 @default.
• W3046253631 creator A5071022257 @default.
• W3046253631 date "2020-07-31" @default.
• W3046253631 modified "2023-09-23" @default.
• W3046253631 title "Language Models for Some Extensions of the Lambek Calculus" @default.
• W3046253631 cites W136934826 @default.
• W3046253631 cites W1590164729 @default.
• W3046253631 cites W1607478710 @default.
• W3046253631 cites W1768003599 @default.
• W3046253631 cites W1963748674 @default.
• W3046253631 cites W1966857180 @default.
• W3046253631 cites W1970603253 @default.
• W3046253631 cites W1975812803 @default.
• W3046253631 cites W1993244347 @default.
• W3046253631 cites W2002130184 @default.
• W3046253631 cites W2002241150 @default.
• W3046253631 cites W2006177255 @default.
• W3046253631 cites W2020404480 @default.
• W3046253631 cites W2048656560 @default.
• W3046253631 cites W2055396755 @default.
• W3046253631 cites W2059559554 @default.
• W3046253631 cites W2061970672 @default.
• W3046253631 cites W2072558524 @default.
• W3046253631 cites W2087081229 @default.
• W3046253631 cites W2120017950 @default.
• W3046253631 cites W2328580899 @default.
• W3046253631 cites W2613669345 @default.
• W3046253631 cites W2742744744 @default.
• W3046253631 cites W2911865844 @default.
• W3046253631 cites W2951877874 @default.
• W3046253631 cites W98010569 @default.
• W3046253631 hasPublicationYear "2020" @default.
• W3046253631 type Work @default.
• W3046253631 sameAs 3046253631 @default.
• W3046253631 citedByCount "0" @default.
• W3046253631 crossrefType "posted-content" @default.
• W3046253631 hasAuthorship W3046253631A5048798287 @default.
• W3046253631 hasAuthorship W3046253631A5054465062 @default.
• W3046253631 hasAuthorship W3046253631A5071022257 @default.
• W3046253631 hasConcept C108710211 @default.
• W3046253631 hasConcept C11821877 @default.
• W3046253631 hasConcept C118615104 @default.
• W3046253631 hasConcept C121332964 @default.
• W3046253631 hasConcept C1276947 @default.
• W3046253631 hasConcept C136119220 @default.
• W3046253631 hasConcept C138390121 @default.
• W3046253631 hasConcept C199343813 @default.
• W3046253631 hasConcept C202444582 @default.
• W3046253631 hasConcept C2524010 @default.
• W3046253631 hasConcept C2777686260 @default.
• W3046253631 hasConcept C2780012671 @default.
• W3046253631 hasConcept C28077239 @default.
• W3046253631 hasConcept C33923547 @default.
• W3046253631 hasConcept C59656382 @default.
• W3046253631 hasConcept C65880906 @default.
• W3046253631 hasConcept C71924100 @default.
• W3046253631 hasConcept C92757383 @default.
• W3046253631 hasConceptScore W3046253631C108710211 @default.
• W3046253631 hasConceptScore W3046253631C11821877 @default.
• W3046253631 hasConceptScore W3046253631C118615104 @default.
• W3046253631 hasConceptScore W3046253631C121332964 @default.
• W3046253631 hasConceptScore W3046253631C1276947 @default.
• W3046253631 hasConceptScore W3046253631C136119220 @default.
• W3046253631 hasConceptScore W3046253631C138390121 @default.
• W3046253631 hasConceptScore W3046253631C199343813 @default.
• W3046253631 hasConceptScore W3046253631C202444582 @default.
• W3046253631 hasConceptScore W3046253631C2524010 @default.
• W3046253631 hasConceptScore W3046253631C2777686260 @default.
• W3046253631 hasConceptScore W3046253631C2780012671 @default.
• W3046253631 hasConceptScore W3046253631C28077239 @default.
• W3046253631 hasConceptScore W3046253631C33923547 @default.
• W3046253631 hasConceptScore W3046253631C59656382 @default.
• W3046253631 hasConceptScore W3046253631C65880906 @default.
• W3046253631 hasConceptScore W3046253631C71924100 @default.
• W3046253631 hasConceptScore W3046253631C92757383 @default.
• W3046253631 hasOpenAccess W3046253631 @default.
• W3046253631 hasRelatedWork W1647207842 @default.
• W3046253631 hasRelatedWork W182127195 @default.
• W3046253631 hasRelatedWork W1945099013 @default.
• W3046253631 hasRelatedWork W2089713242 @default.
• W3046253631 hasRelatedWork W2239942373 @default.
• W3046253631 hasRelatedWork W2421452513 @default.
• W3046253631 hasRelatedWork W2617702297 @default.
• W3046253631 hasRelatedWork W2735335471 @default.
• W3046253631 hasRelatedWork W2914609107 @default.
• W3046253631 hasRelatedWork W2962744611 @default.
• W3046253631 hasRelatedWork W2992511673 @default.
• W3046253631 hasRelatedWork W3009004147 @default.
• W3046253631 hasRelatedWork W3013936672 @default.
• W3046253631 hasRelatedWork W3037270720 @default.
• W3046253631 hasRelatedWork W3046872333 @default.
• W3046253631 hasRelatedWork W3127819669 @default.
• W3046253631 hasRelatedWork W3146281152 @default.
• W3046253631 hasRelatedWork W3159310018 @default.
• W3046253631 hasRelatedWork W340166063 @default.
• W3046253631 hasRelatedWork W72464785 @default.
• W3046253631 isParatext "false" @default.

• next