Feb 26, 2019 · We present an embedding of the Lambek–Grishin calculus into an extension of the nonassociative Lambek calculus with negation. The embedding is ...

Abstract. We present an embedding of the Lambek–Grishin calculus into an extension of the nonassociative Lambek calculus with negation.

We present an embedding of the Lambek–Grishin calculus into an extension of the nonassociative Lambek calculus with negation. The embedding is based on the De ...

Triangular norms, conorms, and negation functions are used as interpretations for propositional connectives in a multiple-valued logic model for fuzzy ...

We compare the Lambek-Grishin Calculus (LG) as defined by Moortgat [9,10] with the non-associative classical Lambek calcu- lus (CNL) introduced by de Groote and ...

Apr 4, 2016 · We show how the Sahlqvist and inductive class of the Lambek-. Grishin calculus project appropriately onto the corresponding classes in [24] and ...

We now want to discuss the potential "classical" extensions of the Lambek calculus, i.e. possibilities of systems with no or weak versions of the exchange rule, ...

Sep 7, 2010 · Typelogical grammars are substructural logics, designed for reasoning about the composition of form and meaning in natural language.

Dec 28, 2023 · In this paper, we introduce an extension of the Lambek calculus by optional divisions ( L opt ). Namely, the right optional division A ∠ B ...

Dec 8, 2018 · Starting from Lambek's and Grishin's analyses, we explore the role played by partial De Morgan dualities and discuss the necessary and ...