Matches in SemOpenAlex for { <https://semopenalex.org/work/W1647207842> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1647207842 abstract "Lambek's non-associative syntactic calculus (NL) excels in its resource consciousness: the usual structural rules for weakening, contraction, exchange and even associativity are all dropped. Recently, there have been proposals for conservative extensions dispensing with NL's intuitionistic bias towards sequents with single conclusions: De Groote and Lamarche's classical non-associative Lambek calculus (CNL) and the Lambek-Grishin calculus (LG) of Moortgat and associates. We demonstrate Andreoli's focalization property for said proposals: a normalization result for Cut-free sequent derivations identifying to a large extent those differing only by trivial rule permutations. In doing so, we proceed from a `uniform' sequent presentation, deriving CNL from LG through the addition of structural rules. The normalization proof proceeds by the construction of syntactic phase models wherein every `truth' has a focused proof, similar to work of Okada and of Herbelin and Lee." @default.
- W1647207842 created "2016-06-24" @default.
- W1647207842 creator A5020541120 @default.
- W1647207842 date "2011-06-02" @default.
- W1647207842 modified "2023-09-27" @default.
- W1647207842 title "Focalization and phase models for classical extensions of non-associative Lambek calculus" @default.
- W1647207842 cites W1504764593 @default.
- W1647207842 cites W1553317947 @default.
- W1647207842 cites W1555771259 @default.
- W1647207842 cites W1587331436 @default.
- W1647207842 cites W1974148087 @default.
- W1647207842 cites W1985185257 @default.
- W1647207842 cites W1989942966 @default.
- W1647207842 cites W2018773995 @default.
- W1647207842 cites W2070324762 @default.
- W1647207842 cites W2077855244 @default.
- W1647207842 cites W2141636159 @default.
- W1647207842 cites W2160728467 @default.
- W1647207842 cites W2222257017 @default.
- W1647207842 cites W2328580899 @default.
- W1647207842 hasPublicationYear "2011" @default.
- W1647207842 type Work @default.
- W1647207842 sameAs 1647207842 @default.
- W1647207842 citedByCount "0" @default.
- W1647207842 crossrefType "posted-content" @default.
- W1647207842 hasAuthorship W1647207842A5020541120 @default.
- W1647207842 hasConcept C108710211 @default.
- W1647207842 hasConcept C111404639 @default.
- W1647207842 hasConcept C118615104 @default.
- W1647207842 hasConcept C136886441 @default.
- W1647207842 hasConcept C138885662 @default.
- W1647207842 hasConcept C144024400 @default.
- W1647207842 hasConcept C159423971 @default.
- W1647207842 hasConcept C19165224 @default.
- W1647207842 hasConcept C199033989 @default.
- W1647207842 hasConcept C199343813 @default.
- W1647207842 hasConcept C202444582 @default.
- W1647207842 hasConcept C2524010 @default.
- W1647207842 hasConcept C2776437587 @default.
- W1647207842 hasConcept C2777686260 @default.
- W1647207842 hasConcept C33923547 @default.
- W1647207842 hasConcept C41008148 @default.
- W1647207842 hasConcept C41895202 @default.
- W1647207842 hasConcept C62073222 @default.
- W1647207842 hasConcept C6489637 @default.
- W1647207842 hasConcept C65880906 @default.
- W1647207842 hasConcept C71924100 @default.
- W1647207842 hasConcept C89421646 @default.
- W1647207842 hasConceptScore W1647207842C108710211 @default.
- W1647207842 hasConceptScore W1647207842C111404639 @default.
- W1647207842 hasConceptScore W1647207842C118615104 @default.
- W1647207842 hasConceptScore W1647207842C136886441 @default.
- W1647207842 hasConceptScore W1647207842C138885662 @default.
- W1647207842 hasConceptScore W1647207842C144024400 @default.
- W1647207842 hasConceptScore W1647207842C159423971 @default.
- W1647207842 hasConceptScore W1647207842C19165224 @default.
- W1647207842 hasConceptScore W1647207842C199033989 @default.
- W1647207842 hasConceptScore W1647207842C199343813 @default.
- W1647207842 hasConceptScore W1647207842C202444582 @default.
- W1647207842 hasConceptScore W1647207842C2524010 @default.
- W1647207842 hasConceptScore W1647207842C2776437587 @default.
- W1647207842 hasConceptScore W1647207842C2777686260 @default.
- W1647207842 hasConceptScore W1647207842C33923547 @default.
- W1647207842 hasConceptScore W1647207842C41008148 @default.
- W1647207842 hasConceptScore W1647207842C41895202 @default.
- W1647207842 hasConceptScore W1647207842C62073222 @default.
- W1647207842 hasConceptScore W1647207842C6489637 @default.
- W1647207842 hasConceptScore W1647207842C65880906 @default.
- W1647207842 hasConceptScore W1647207842C71924100 @default.
- W1647207842 hasConceptScore W1647207842C89421646 @default.
- W1647207842 hasLocation W16472078421 @default.
- W1647207842 hasOpenAccess W1647207842 @default.
- W1647207842 hasPrimaryLocation W16472078421 @default.
- W1647207842 hasRelatedWork W1413231474 @default.
- W1647207842 hasRelatedWork W1571143587 @default.
- W1647207842 hasRelatedWork W193698152 @default.
- W1647207842 hasRelatedWork W2239942373 @default.
- W1647207842 hasRelatedWork W24471700 @default.
- W1647207842 hasRelatedWork W2556183516 @default.
- W1647207842 hasRelatedWork W2570891288 @default.
- W1647207842 hasRelatedWork W2768367595 @default.
- W1647207842 hasRelatedWork W2883445063 @default.
- W1647207842 hasRelatedWork W2951096284 @default.
- W1647207842 hasRelatedWork W2992511673 @default.
- W1647207842 hasRelatedWork W2999542532 @default.
- W1647207842 hasRelatedWork W3009004147 @default.
- W1647207842 hasRelatedWork W3030103185 @default.
- W1647207842 hasRelatedWork W3037270720 @default.
- W1647207842 hasRelatedWork W3096938758 @default.
- W1647207842 hasRelatedWork W3119953937 @default.
- W1647207842 hasRelatedWork W3159310018 @default.
- W1647207842 hasRelatedWork W330936544 @default.
- W1647207842 hasRelatedWork W72464785 @default.
- W1647207842 isParatext "false" @default.
- W1647207842 isRetracted "false" @default.
- W1647207842 magId "1647207842" @default.
- W1647207842 workType "article" @default.