Results 1 to 10 of about 107,210 (140)
Command injection attacks, continuations, and the Lambek calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 This paper shows connections between command injection attacks, continuations, and the Lambek calculus: certain command injections, such as the tautology attack on SQL, are shown to be a form of control effect that can be typed using the Lambek calculus,
Hayo Thielecke
doaj +3 more sources
On the Lambek Calculus with an Exchange Modality [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In this paper we introduce Commutative/Non-Commutative Logic (CNC logic) and two categorical models for CNC logic. This work abstracts Benton's Linear/Non-Linear Logic by removing the existence of the exchange structural rule.
Jiaming Jiang +2 more
doaj +5 more sources
On Classical Nonassociative Lambek Calculus
Lecture Notes in Computer Science, 2016 AbstractCNL, intoduced by de Groote and Lamarche [11], is a conservative extension of Nonassociative Lambek Calculus (NL) by a De Morgan negation $$^{\sim }$$ ∼ , satisfying $$A^{\sim }/B\Leftrightarrow A\backslash B^{\sim }$$
Wojciech Buszkowski +1 more
exaly +3 more sources
On the Recognizing Power of the Lambek Calculus with Brackets [PDF]
Journal of Logic, Language and Information, 2018 minor ...
exaly +5 more sources
Relational Models for the Lambek Calculus with Intersection and Constants [PDF]
Logical Methods in Computer Science, 2023 We consider relational semantics (R-models) for the Lambek calculus extended with intersection and explicit constants for zero and unit. For its variant without constants and a restriction which disallows empty antecedents, Andreka and Mikulas (1994 ...
Stepan L. Kuznetsov
doaj +1 more source
Axioms, 2023 Residuated basic logic (RBL) is the logic of residuated basic algebras, which constitutes a conservative extension of basic propositional logic (BPL). The basic implication is a residual of a non-associative binary operator in RBL.
Zhe Lin, Minghui Ma
doaj +1 more source
One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
Bulletin of the Section of Logic, 2021 Bilinear Logic of Lambek amounts to Noncommutative MALL of Abrusci. Lambek proves the cut–elimination theorem for a one-sided (in fact, left-sided) sequent system for this logic.
Paweł Płaczek
doaj +1 more source
Serial verb constructions and covert coordinations in Edo – an analysis in Type Logical Grammar
Journal of Language Modelling, 2021 Based on both syntactic and semantic criteria, Stewart (2001) and, following him, Baker and Stewart (1999), distinguish two types of serial verb constructions (SVC) and one type of covert coordination (CC) in Edo.
Ralf Naumann, Thomas Gamerschlag
doaj +1 more source
Classical Copying versus Quantum Entanglement in Natural Language: The Case of VP-ellipsis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 This paper compares classical copying and quantum entanglement in natural language by considering the case of verb phrase (VP) ellipsis. VP ellipsis is a non-linear linguistic phenomenon that requires the reuse of resources, making it the ideal test case
Gijs Wijnholds, Mehrnoosh Sadrzadeh
doaj +1 more source
Correction to: Lambek Calculus with Conjugates [PDF]
Studia Logica, 2020 We, the authors, would like to thank Guillaume Aucher for informing us of his “Displaying Updates in Logic”, published in the Journal of Logic and Computation, 26(6):1865-1912 (2016).
Igor Sedlár, Andrew Tedder
openaire +1 more source