FRINK Linked Data Fragments server

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

• W2239942373 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,” 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. We present several versions of the Lambek calculus extended with exponential modalities and prove that those extensions are undecidable, even if we take only one of the two divisions provided by the Lambek calculus." @default.
• W2239942373 created "2016-06-24" @default.
• W2239942373 creator A5048798287 @default.
• W2239942373 creator A5054465062 @default.
• W2239942373 creator A5071022257 @default.
• W2239942373 date "2015-12-10" @default.
• W2239942373 modified "2023-09-27" @default.
• W2239942373 title "On Lambek’s Restriction in the Presence of Exponential Modalities" @default.
• W2239942373 cites W1488801660 @default.
• W2239942373 cites W1849857826 @default.
• W2239942373 cites W1978223872 @default.
• W2239942373 cites W1999703197 @default.
• W2239942373 cites W2002130184 @default.
• W2239942373 cites W2012615291 @default.
• W2239942373 cites W2021289373 @default.
• W2239942373 cites W2023695988 @default.
• W2239942373 cites W2070324762 @default.
• W2239942373 cites W2078432227 @default.
• W2239942373 cites W2911865844 @default.
• W2239942373 cites W4240963309 @default.
• W2239942373 cites W4242125186 @default.
• W2239942373 cites W4255194959 @default.
• W2239942373 doi "https://doi.org/10.1007/978-3-319-27683-0_11" @default.
• W2239942373 hasPublicationYear "2015" @default.
• W2239942373 type Work @default.
• W2239942373 sameAs 2239942373 @default.
• W2239942373 citedByCount "5" @default.
• W2239942373 countsByYear W22399423732016 @default.
• W2239942373 countsByYear W22399423732019 @default.
• W2239942373 countsByYear W22399423732020 @default.
• W2239942373 crossrefType "book-chapter" @default.
• W2239942373 hasAuthorship W2239942373A5048798287 @default.
• W2239942373 hasAuthorship W2239942373A5054465062 @default.
• W2239942373 hasAuthorship W2239942373A5071022257 @default.
• W2239942373 hasConcept C108710211 @default.
• W2239942373 hasConcept C111404639 @default.
• W2239942373 hasConcept C11413529 @default.
• W2239942373 hasConcept C118615104 @default.
• W2239942373 hasConcept C134306372 @default.
• W2239942373 hasConcept C136119220 @default.
• W2239942373 hasConcept C138496976 @default.
• W2239942373 hasConcept C144024400 @default.
• W2239942373 hasConcept C151376022 @default.
• W2239942373 hasConcept C153269930 @default.
• W2239942373 hasConcept C154945302 @default.
• W2239942373 hasConcept C15744967 @default.
• W2239942373 hasConcept C183778304 @default.
• W2239942373 hasConcept C192034797 @default.
• W2239942373 hasConcept C199343813 @default.
• W2239942373 hasConcept C199360897 @default.
• W2239942373 hasConcept C202444582 @default.
• W2239942373 hasConcept C2524010 @default.
• W2239942373 hasConcept C2777686260 @default.
• W2239942373 hasConcept C2779903281 @default.
• W2239942373 hasConcept C2780226545 @default.
• W2239942373 hasConcept C2781256819 @default.
• W2239942373 hasConcept C28077239 @default.
• W2239942373 hasConcept C33923547 @default.
• W2239942373 hasConcept C36289849 @default.
• W2239942373 hasConcept C41008148 @default.
• W2239942373 hasConcept C62073222 @default.
• W2239942373 hasConcept C6489637 @default.
• W2239942373 hasConcept C65880906 @default.
• W2239942373 hasConcept C71924100 @default.
• W2239942373 hasConcept C80444323 @default.
• W2239942373 hasConceptScore W2239942373C108710211 @default.
• W2239942373 hasConceptScore W2239942373C111404639 @default.
• W2239942373 hasConceptScore W2239942373C11413529 @default.
• W2239942373 hasConceptScore W2239942373C118615104 @default.
• W2239942373 hasConceptScore W2239942373C134306372 @default.
• W2239942373 hasConceptScore W2239942373C136119220 @default.
• W2239942373 hasConceptScore W2239942373C138496976 @default.
• W2239942373 hasConceptScore W2239942373C144024400 @default.
• W2239942373 hasConceptScore W2239942373C151376022 @default.
• W2239942373 hasConceptScore W2239942373C153269930 @default.
• W2239942373 hasConceptScore W2239942373C154945302 @default.
• W2239942373 hasConceptScore W2239942373C15744967 @default.
• W2239942373 hasConceptScore W2239942373C183778304 @default.
• W2239942373 hasConceptScore W2239942373C192034797 @default.
• W2239942373 hasConceptScore W2239942373C199343813 @default.
• W2239942373 hasConceptScore W2239942373C199360897 @default.
• W2239942373 hasConceptScore W2239942373C202444582 @default.
• W2239942373 hasConceptScore W2239942373C2524010 @default.
• W2239942373 hasConceptScore W2239942373C2777686260 @default.
• W2239942373 hasConceptScore W2239942373C2779903281 @default.
• W2239942373 hasConceptScore W2239942373C2780226545 @default.
• W2239942373 hasConceptScore W2239942373C2781256819 @default.
• W2239942373 hasConceptScore W2239942373C28077239 @default.
• W2239942373 hasConceptScore W2239942373C33923547 @default.
• W2239942373 hasConceptScore W2239942373C36289849 @default.
• W2239942373 hasConceptScore W2239942373C41008148 @default.
• W2239942373 hasConceptScore W2239942373C62073222 @default.
• W2239942373 hasConceptScore W2239942373C6489637 @default.
• W2239942373 hasConceptScore W2239942373C65880906 @default.
• W2239942373 hasConceptScore W2239942373C71924100 @default.
• W2239942373 hasConceptScore W2239942373C80444323 @default.
• W2239942373 hasLocation W22399423731 @default.
• W2239942373 hasOpenAccess W2239942373 @default.
• W2239942373 hasPrimaryLocation W22399423731 @default.
• W2239942373 hasRelatedWork W1480341228 @default.

• next