FRINK Linked Data Fragments server

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

• W2488360448 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 restriction, that is, 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.
• W2488360448 created "2016-08-23" @default.
• W2488360448 creator A5048798287 @default.
• W2488360448 creator A5054465062 @default.
• W2488360448 creator A5071022257 @default.
• W2488360448 date "2016-08-07" @default.
• W2488360448 modified "2023-09-27" @default.
• W2488360448 title "Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities." @default.
• W2488360448 cites W1488801660 @default.
• W2488360448 cites W1849857826 @default.
• W2488360448 cites W1969548989 @default.
• W2488360448 cites W1978223872 @default.
• W2488360448 cites W1999703197 @default.
• W2488360448 cites W2002130184 @default.
• W2488360448 cites W2006406454 @default.
• W2488360448 cites W2012615291 @default.
• W2488360448 cites W2021289373 @default.
• W2488360448 cites W2021673608 @default.
• W2488360448 cites W2023695988 @default.
• W2488360448 cites W2026317051 @default.
• W2488360448 cites W2057183321 @default.
• W2488360448 cites W2070324762 @default.
• W2488360448 cites W2078432227 @default.
• W2488360448 cites W2109724541 @default.
• W2488360448 cites W2117375083 @default.
• W2488360448 cites W2151030333 @default.
• W2488360448 cites W2328580899 @default.
• W2488360448 cites W2346730081 @default.
• W2488360448 cites W2742744744 @default.
• W2488360448 cites W2755972408 @default.
• W2488360448 cites W2911865844 @default.
• W2488360448 cites W3105030000 @default.
• W2488360448 cites W602187396 @default.
• W2488360448 cites W81761572 @default.
• W2488360448 hasPublicationYear "2016" @default.
• W2488360448 type Work @default.
• W2488360448 sameAs 2488360448 @default.
• W2488360448 citedByCount "0" @default.
• W2488360448 crossrefType "posted-content" @default.
• W2488360448 hasAuthorship W2488360448A5048798287 @default.
• W2488360448 hasAuthorship W2488360448A5054465062 @default.
• W2488360448 hasAuthorship W2488360448A5071022257 @default.
• W2488360448 hasConcept C108710211 @default.
• W2488360448 hasConcept C111404639 @default.
• W2488360448 hasConcept C118615104 @default.
• W2488360448 hasConcept C134306372 @default.
• W2488360448 hasConcept C138496976 @default.
• W2488360448 hasConcept C151376022 @default.
• W2488360448 hasConcept C153269930 @default.
• W2488360448 hasConcept C154945302 @default.
• W2488360448 hasConcept C15744967 @default.
• W2488360448 hasConcept C183778304 @default.
• W2488360448 hasConcept C192034797 @default.
• W2488360448 hasConcept C199343813 @default.
• W2488360448 hasConcept C199360897 @default.
• W2488360448 hasConcept C2524010 @default.
• W2488360448 hasConcept C2777686260 @default.
• W2488360448 hasConcept C2778220771 @default.
• W2488360448 hasConcept C2780226545 @default.
• W2488360448 hasConcept C2781256819 @default.
• W2488360448 hasConcept C28077239 @default.
• W2488360448 hasConcept C33923547 @default.
• W2488360448 hasConcept C41008148 @default.
• W2488360448 hasConcept C6489637 @default.
• W2488360448 hasConcept C65880906 @default.
• W2488360448 hasConcept C71924100 @default.
• W2488360448 hasConceptScore W2488360448C108710211 @default.
• W2488360448 hasConceptScore W2488360448C111404639 @default.
• W2488360448 hasConceptScore W2488360448C118615104 @default.
• W2488360448 hasConceptScore W2488360448C134306372 @default.
• W2488360448 hasConceptScore W2488360448C138496976 @default.
• W2488360448 hasConceptScore W2488360448C151376022 @default.
• W2488360448 hasConceptScore W2488360448C153269930 @default.
• W2488360448 hasConceptScore W2488360448C154945302 @default.
• W2488360448 hasConceptScore W2488360448C15744967 @default.
• W2488360448 hasConceptScore W2488360448C183778304 @default.
• W2488360448 hasConceptScore W2488360448C192034797 @default.
• W2488360448 hasConceptScore W2488360448C199343813 @default.
• W2488360448 hasConceptScore W2488360448C199360897 @default.
• W2488360448 hasConceptScore W2488360448C2524010 @default.
• W2488360448 hasConceptScore W2488360448C2777686260 @default.
• W2488360448 hasConceptScore W2488360448C2778220771 @default.
• W2488360448 hasConceptScore W2488360448C2780226545 @default.
• W2488360448 hasConceptScore W2488360448C2781256819 @default.
• W2488360448 hasConceptScore W2488360448C28077239 @default.
• W2488360448 hasConceptScore W2488360448C33923547 @default.
• W2488360448 hasConceptScore W2488360448C41008148 @default.
• W2488360448 hasConceptScore W2488360448C6489637 @default.
• W2488360448 hasConceptScore W2488360448C65880906 @default.
• W2488360448 hasConceptScore W2488360448C71924100 @default.
• W2488360448 hasLocation W24883604481 @default.
• W2488360448 hasOpenAccess W2488360448 @default.
• W2488360448 hasPrimaryLocation W24883604481 @default.
• W2488360448 hasRelatedWork W1480341228 @default.
• W2488360448 hasRelatedWork W1530709631 @default.
• W2488360448 hasRelatedWork W1583463132 @default.
• W2488360448 hasRelatedWork W18206778 @default.
• W2488360448 hasRelatedWork W1849857826 @default.
• W2488360448 hasRelatedWork W2033407366 @default.
• W2488360448 hasRelatedWork W2037685067 @default.

• next