Matches in SemOpenAlex for { <https://semopenalex.org/work/W1975812803> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1975812803 endingPage "213" @default.
- W1975812803 startingPage "179" @default.
- W1975812803 abstract "We prove that the Lambek calculus is complete w.r.t. L-models, i.e., free semigroup models. We also prove the completeness w.r.t. relativized relational models over the natural linear order of integers." @default.
- W1975812803 created "2016-06-24" @default.
- W1975812803 creator A5012480999 @default.
- W1975812803 date "1995-09-01" @default.
- W1975812803 modified "2023-09-28" @default.
- W1975812803 title "Models for the Lambek calculus" @default.
- W1975812803 cites W1585815400 @default.
- W1975812803 cites W1994832936 @default.
- W1975812803 cites W2007180849 @default.
- W1975812803 cites W2023695988 @default.
- W1975812803 cites W2081200269 @default.
- W1975812803 cites W2085716418 @default.
- W1975812803 cites W2120017950 @default.
- W1975812803 cites W2156703118 @default.
- W1975812803 cites W4242125186 @default.
- W1975812803 doi "https://doi.org/10.1016/0168-0072(94)00063-9" @default.
- W1975812803 hasPublicationYear "1995" @default.
- W1975812803 type Work @default.
- W1975812803 sameAs 1975812803 @default.
- W1975812803 citedByCount "48" @default.
- W1975812803 countsByYear W19758128032012 @default.
- W1975812803 countsByYear W19758128032013 @default.
- W1975812803 countsByYear W19758128032014 @default.
- W1975812803 countsByYear W19758128032016 @default.
- W1975812803 countsByYear W19758128032017 @default.
- W1975812803 countsByYear W19758128032018 @default.
- W1975812803 countsByYear W19758128032019 @default.
- W1975812803 countsByYear W19758128032020 @default.
- W1975812803 countsByYear W19758128032021 @default.
- W1975812803 countsByYear W19758128032022 @default.
- W1975812803 countsByYear W19758128032023 @default.
- W1975812803 crossrefType "journal-article" @default.
- W1975812803 hasAuthorship W1975812803A5012480999 @default.
- W1975812803 hasBestOaLocation W19758128031 @default.
- W1975812803 hasConcept C136119220 @default.
- W1975812803 hasConcept C154945302 @default.
- W1975812803 hasConcept C199343813 @default.
- W1975812803 hasConcept C202444582 @default.
- W1975812803 hasConcept C22497172 @default.
- W1975812803 hasConcept C2777686260 @default.
- W1975812803 hasConcept C33923547 @default.
- W1975812803 hasConcept C41008148 @default.
- W1975812803 hasConcept C71924100 @default.
- W1975812803 hasConceptScore W1975812803C136119220 @default.
- W1975812803 hasConceptScore W1975812803C154945302 @default.
- W1975812803 hasConceptScore W1975812803C199343813 @default.
- W1975812803 hasConceptScore W1975812803C202444582 @default.
- W1975812803 hasConceptScore W1975812803C22497172 @default.
- W1975812803 hasConceptScore W1975812803C2777686260 @default.
- W1975812803 hasConceptScore W1975812803C33923547 @default.
- W1975812803 hasConceptScore W1975812803C41008148 @default.
- W1975812803 hasConceptScore W1975812803C71924100 @default.
- W1975812803 hasIssue "1-2" @default.
- W1975812803 hasLocation W19758128031 @default.
- W1975812803 hasOpenAccess W1975812803 @default.
- W1975812803 hasPrimaryLocation W19758128031 @default.
- W1975812803 hasRelatedWork W2045490848 @default.
- W1975812803 hasRelatedWork W2063488590 @default.
- W1975812803 hasRelatedWork W2090649758 @default.
- W1975812803 hasRelatedWork W2094502182 @default.
- W1975812803 hasRelatedWork W2332694326 @default.
- W1975812803 hasRelatedWork W2963070987 @default.
- W1975812803 hasRelatedWork W3046926816 @default.
- W1975812803 hasRelatedWork W4230623537 @default.
- W1975812803 hasRelatedWork W4249089511 @default.
- W1975812803 hasRelatedWork W4287734682 @default.
- W1975812803 hasVolume "75" @default.
- W1975812803 isParatext "false" @default.
- W1975812803 isRetracted "false" @default.
- W1975812803 magId "1975812803" @default.
- W1975812803 workType "article" @default.