Results 71 to 80 of about 160,476 (167)
Continuation semantics for the Lambek–Grishin calculus
Information and Computation, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bernardi, Raffaella, M. Moortgat
openaire +3 more sources
Obligations of the "Gift": Reciprocity and Responsibility in Precision Medicine. [PDF]
Am J Bioeth, 2021 Lee SS.
europepmc +1 more source
Extended Lambek calculi and first-order linear logic
, 2014 International audienceFirst-order multiplicative intuitionistic linear logic (MILL1) can be seen as an extension of the Lambek calculus. In addition to the fragment of MILL1 which corresponds to the Lambek calculus (of Moot & Piazza 2001), I will show ...
Moot, Richard
core +3 more sources
Complexity of the Lambek Calculus with One Division and a Negative-Polarity Modality for Weakening
Journal of Mathematical Sciences, 2023 A. Pentus, M. Pentus
semanticscholar +1 more source
Product-free Lambek calculus and context-free grammars
, 1997 In this paper we prove the Chomsky Conjecture (all languages recognized by the Lambek calculus are context-free) for both the full Lambek calculus and its product-free fragment.
Mati Pentus
core
A Graph-Theoretic Approach to Sequent Derivability in the Lambek Calculus
, 2004 A graph-theoretic construction for representing the derivational side-conditions in the construction of axiomatic linkages for Lambek proof nets is presented, along with a naive algorithm that applies it to the sequent derivability problem for the Lambek
Gerald Penn, Penn, Gerald
core +1 more source
Pomset logic: a logical and grammatical alternative to the Lambek calculus
, 2020 Thirty years ago, I introduced a non commutative variant of classical linear logic, called pomset logic, issued from a particular denotational se- mantics or categorical interpretation of linear logic known as coherence spaces.
Retoré, Christian
core +1 more source
Toward a sociology of finitude: life, death, and the question of limits. [PDF]
Theory Soc, 2021 Livne R.
europepmc +1 more source
Parsing for Semidirectional Lambek Grammar is NP-Complete
, 1996 We study the computational complexity of the parsing problem of a variant of Lambek Categorial Grammar that we call semidirectional. In semidirectional Lambek calculus SDL there is an additional nondirectional abstraction rule allowing the formula ...
Jochen Dörre +2 more
core
A Tableau Method for the Lambek Calculus based on a Matrix Characterization
, 2003 We propose a tableau method for the Lambek Calculus by adapting a method developed by Mantel and Otten for the multiplicative exponential fragment of the Linear Logic (MELL).
da S. Corrêa, Marcelo +1 more
core +1 more source