Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297890258> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4297890258 abstract "Grishin's generalization of Lambek's Syntactic Calculus combines a non-commutative multiplicative conjunction and its residuals (product, left and right division) with a dual family: multiplicative disjunction, right and left difference. Interaction between these two families takes the form of linear distributivity principles. We study proof nets for the Lambek-Grishin calculus and the correspondence between these nets and unfocused and focused versions of its sequent calculus." @default.
- W4297890258 created "2022-10-01" @default.
- W4297890258 creator A5024091071 @default.
- W4297890258 creator A5029189663 @default.
- W4297890258 date "2011-12-29" @default.
- W4297890258 modified "2023-10-01" @default.
- W4297890258 title "Proof nets for the Lambek-Grishin calculus" @default.
- W4297890258 doi "https://doi.org/10.48550/arxiv.1112.6384" @default.
- W4297890258 hasPublicationYear "2011" @default.
- W4297890258 type Work @default.
- W4297890258 citedByCount "0" @default.
- W4297890258 crossrefType "posted-content" @default.
- W4297890258 hasAuthorship W4297890258A5024091071 @default.
- W4297890258 hasAuthorship W4297890258A5029189663 @default.
- W4297890258 hasBestOaLocation W42978902581 @default.
- W4297890258 hasConcept C108710211 @default.
- W4297890258 hasConcept C111404639 @default.
- W4297890258 hasConcept C117312493 @default.
- W4297890258 hasConcept C11821877 @default.
- W4297890258 hasConcept C118615104 @default.
- W4297890258 hasConcept C124952713 @default.
- W4297890258 hasConcept C127413603 @default.
- W4297890258 hasConcept C133731056 @default.
- W4297890258 hasConcept C134306372 @default.
- W4297890258 hasConcept C136119220 @default.
- W4297890258 hasConcept C138390121 @default.
- W4297890258 hasConcept C142362112 @default.
- W4297890258 hasConcept C177148314 @default.
- W4297890258 hasConcept C183778304 @default.
- W4297890258 hasConcept C199343813 @default.
- W4297890258 hasConcept C202444582 @default.
- W4297890258 hasConcept C2524010 @default.
- W4297890258 hasConcept C2777686260 @default.
- W4297890258 hasConcept C2780980858 @default.
- W4297890258 hasConcept C28077239 @default.
- W4297890258 hasConcept C33695381 @default.
- W4297890258 hasConcept C33923547 @default.
- W4297890258 hasConcept C42747912 @default.
- W4297890258 hasConcept C62073222 @default.
- W4297890258 hasConcept C6489637 @default.
- W4297890258 hasConcept C65880906 @default.
- W4297890258 hasConcept C71924100 @default.
- W4297890258 hasConceptScore W4297890258C108710211 @default.
- W4297890258 hasConceptScore W4297890258C111404639 @default.
- W4297890258 hasConceptScore W4297890258C117312493 @default.
- W4297890258 hasConceptScore W4297890258C11821877 @default.
- W4297890258 hasConceptScore W4297890258C118615104 @default.
- W4297890258 hasConceptScore W4297890258C124952713 @default.
- W4297890258 hasConceptScore W4297890258C127413603 @default.
- W4297890258 hasConceptScore W4297890258C133731056 @default.
- W4297890258 hasConceptScore W4297890258C134306372 @default.
- W4297890258 hasConceptScore W4297890258C136119220 @default.
- W4297890258 hasConceptScore W4297890258C138390121 @default.
- W4297890258 hasConceptScore W4297890258C142362112 @default.
- W4297890258 hasConceptScore W4297890258C177148314 @default.
- W4297890258 hasConceptScore W4297890258C183778304 @default.
- W4297890258 hasConceptScore W4297890258C199343813 @default.
- W4297890258 hasConceptScore W4297890258C202444582 @default.
- W4297890258 hasConceptScore W4297890258C2524010 @default.
- W4297890258 hasConceptScore W4297890258C2777686260 @default.
- W4297890258 hasConceptScore W4297890258C2780980858 @default.
- W4297890258 hasConceptScore W4297890258C28077239 @default.
- W4297890258 hasConceptScore W4297890258C33695381 @default.
- W4297890258 hasConceptScore W4297890258C33923547 @default.
- W4297890258 hasConceptScore W4297890258C42747912 @default.
- W4297890258 hasConceptScore W4297890258C62073222 @default.
- W4297890258 hasConceptScore W4297890258C6489637 @default.
- W4297890258 hasConceptScore W4297890258C65880906 @default.
- W4297890258 hasConceptScore W4297890258C71924100 @default.
- W4297890258 hasLocation W42978902581 @default.
- W4297890258 hasLocation W42978902582 @default.
- W4297890258 hasOpenAccess W4297890258 @default.
- W4297890258 hasPrimaryLocation W42978902581 @default.
- W4297890258 hasRelatedWork W1551302556 @default.
- W4297890258 hasRelatedWork W1590710253 @default.
- W4297890258 hasRelatedWork W1987945064 @default.
- W4297890258 hasRelatedWork W2061801837 @default.
- W4297890258 hasRelatedWork W2117737141 @default.
- W4297890258 hasRelatedWork W2168699673 @default.
- W4297890258 hasRelatedWork W2398664093 @default.
- W4297890258 hasRelatedWork W2992511673 @default.
- W4297890258 hasRelatedWork W4287997303 @default.
- W4297890258 hasRelatedWork W4297890258 @default.
- W4297890258 isParatext "false" @default.
- W4297890258 isRetracted "false" @default.
- W4297890258 workType "article" @default.