FRINK Linked Data Fragments server

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

• W3009004147 endingPage "256" @default.
• W3009004147 startingPage "239" @default.
• W3009004147 abstract "Abstract The Lambek calculus can be considered as a version of non-commutative intuitionistic linear logic. One of the interesting features of the Lambek calculus is the so-called ‘Lambek’s restriction’, i.e. the antecedent of any provable sequent should be non-empty. In this paper, we discuss ways of extending the Lambek calculus with the linear logic exponential modality while keeping Lambek’s restriction. Interestingly enough, we show that for any system equipped with a reasonable exponential modality the following holds: if the system enjoys cut elimination and substitution to the full extent, then the system necessarily violates Lambek’s restriction. Nevertheless, we show that two of the three conditions can be implemented. Namely, we design a system with Lambek’s restriction and cut elimination and another system with Lambek’s restriction and substitution. For both calculi, we prove that they are undecidable, even if we take only one of the two divisions provided by the Lambek calculus. The system with cut elimination and substitution and without Lambek’s restriction is folklore and known to be undecidable." @default.
• W3009004147 created "2020-03-06" @default.
• W3009004147 creator A5048798287 @default.
• W3009004147 creator A5054465062 @default.
• W3009004147 creator A5071022257 @default.
• W3009004147 date "2020-01-01" @default.
• W3009004147 modified "2023-09-26" @default.
• W3009004147 title "Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities" @default.
• W3009004147 cites W1969548989 @default.
• W3009004147 cites W1978223872 @default.
• W3009004147 cites W2002130184 @default.
• W3009004147 cites W2021289373 @default.
• W3009004147 cites W2021673608 @default.
• W3009004147 cites W2023695988 @default.
• W3009004147 cites W2026317051 @default.
• W3009004147 cites W2057183321 @default.
• W3009004147 cites W2070324762 @default.
• W3009004147 cites W2078432227 @default.
• W3009004147 cites W2109724541 @default.
• W3009004147 cites W2117375083 @default.
• W3009004147 cites W2328580899 @default.
• W3009004147 cites W2346730081 @default.
• W3009004147 cites W2911865844 @default.
• W3009004147 cites W4240963309 @default.
• W3009004147 cites W4255194959 @default.
• W3009004147 cites W81761572 @default.
• W3009004147 doi "https://doi.org/10.1093/logcom/exaa010" @default.
• W3009004147 hasPublicationYear "2020" @default.
• W3009004147 type Work @default.
• W3009004147 sameAs 3009004147 @default.
• W3009004147 citedByCount "7" @default.
• W3009004147 countsByYear W30090041472020 @default.
• W3009004147 countsByYear W30090041472021 @default.
• W3009004147 countsByYear W30090041472022 @default.
• W3009004147 countsByYear W30090041472023 @default.
• W3009004147 crossrefType "journal-article" @default.
• W3009004147 hasAuthorship W3009004147A5048798287 @default.
• W3009004147 hasAuthorship W3009004147A5054465062 @default.
• W3009004147 hasAuthorship W3009004147A5071022257 @default.
• W3009004147 hasBestOaLocation W30090041472 @default.
• W3009004147 hasConcept C108710211 @default.
• W3009004147 hasConcept C111404639 @default.
• W3009004147 hasConcept C118615104 @default.
• W3009004147 hasConcept C134306372 @default.
• W3009004147 hasConcept C138496976 @default.
• W3009004147 hasConcept C151376022 @default.
• W3009004147 hasConcept C153269930 @default.
• W3009004147 hasConcept C154945302 @default.
• W3009004147 hasConcept C15744967 @default.
• W3009004147 hasConcept C183778304 @default.
• W3009004147 hasConcept C192034797 @default.
• W3009004147 hasConcept C199343813 @default.
• W3009004147 hasConcept C199360897 @default.
• W3009004147 hasConcept C2524010 @default.
• W3009004147 hasConcept C2777686260 @default.
• W3009004147 hasConcept C2778220771 @default.
• W3009004147 hasConcept C2780226545 @default.
• W3009004147 hasConcept C2781256819 @default.
• W3009004147 hasConcept C28077239 @default.
• W3009004147 hasConcept C33923547 @default.
• W3009004147 hasConcept C41008148 @default.
• W3009004147 hasConcept C6489637 @default.
• W3009004147 hasConcept C65880906 @default.
• W3009004147 hasConcept C71924100 @default.
• W3009004147 hasConceptScore W3009004147C108710211 @default.
• W3009004147 hasConceptScore W3009004147C111404639 @default.
• W3009004147 hasConceptScore W3009004147C118615104 @default.
• W3009004147 hasConceptScore W3009004147C134306372 @default.
• W3009004147 hasConceptScore W3009004147C138496976 @default.
• W3009004147 hasConceptScore W3009004147C151376022 @default.
• W3009004147 hasConceptScore W3009004147C153269930 @default.
• W3009004147 hasConceptScore W3009004147C154945302 @default.
• W3009004147 hasConceptScore W3009004147C15744967 @default.
• W3009004147 hasConceptScore W3009004147C183778304 @default.
• W3009004147 hasConceptScore W3009004147C192034797 @default.
• W3009004147 hasConceptScore W3009004147C199343813 @default.
• W3009004147 hasConceptScore W3009004147C199360897 @default.
• W3009004147 hasConceptScore W3009004147C2524010 @default.
• W3009004147 hasConceptScore W3009004147C2777686260 @default.
• W3009004147 hasConceptScore W3009004147C2778220771 @default.
• W3009004147 hasConceptScore W3009004147C2780226545 @default.
• W3009004147 hasConceptScore W3009004147C2781256819 @default.
• W3009004147 hasConceptScore W3009004147C28077239 @default.
• W3009004147 hasConceptScore W3009004147C33923547 @default.
• W3009004147 hasConceptScore W3009004147C41008148 @default.
• W3009004147 hasConceptScore W3009004147C6489637 @default.
• W3009004147 hasConceptScore W3009004147C65880906 @default.
• W3009004147 hasConceptScore W3009004147C71924100 @default.
• W3009004147 hasIssue "1" @default.
• W3009004147 hasLocation W30090041471 @default.
• W3009004147 hasLocation W30090041472 @default.
• W3009004147 hasOpenAccess W3009004147 @default.
• W3009004147 hasPrimaryLocation W30090041471 @default.
• W3009004147 hasRelatedWork W1505662237 @default.
• W3009004147 hasRelatedWork W154252035 @default.
• W3009004147 hasRelatedWork W2061801837 @default.
• W3009004147 hasRelatedWork W2117737141 @default.
• W3009004147 hasRelatedWork W2239942373 @default.

• next