Results 141 to 150 of about 160,476 (167)

Relational Models for the Lambek Calculus with Intersection and Unit

International Conference on Relational and Algebraic Methods in Computer Science, 2021
S. Kuznetsov
semanticscholar   +1 more source

Classical Conservative Extensions of Lambek Calculus

Studia Logica, 2002
The paper concerns the Lambek Calculus (LC) and its extensions. The pure Lambek Calculus, which is LC without additive constants, is also distinguished. Two systems are considered: Noncommutative Multiplicative-Additive Linear Logic (NMALL), introduced by the author (in 1991), and Cyclic Multiplicative-Additive Linear Logic (CyMALL), introduced by ...
openaire   +1 more source

Relational Semantics for the Lambek-Grishin Calculus

2010
We study ternary relational semantics for LG: a symmetric version of the Lambek calculus with interaction principles due to Grishin [10]. We obtain completeness on the basis of a Henkin-style weak filter construction.
Kurtonina, N., Moortgat, M.J.
openaire   +2 more sources

A Restricted Fragment of the Lambek Calculus with Iteration and Intersection Operations

Algebra i logika, 2020
S. Kuznetsov, N. S. Ryzhkova
semanticscholar   +1 more source

Lambek calculus with restricted contraction and expansion

Studia Logica, 1992
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Lambek Calculus with Classical Logic

, 2021
W. Buszkowski
semanticscholar   +1 more source

An Agda Formalization of Nonassociative Lambek Calculus and its Metatheory

International Conference on Theorem Proving with Analytic Tableaux and Related Methods
Niccolò Veltri, Cheng-Syuan Wan
semanticscholar   +1 more source

On the directional Lambek calculus

Logic Journal of IGPL, 2009
openaire   +1 more source

Language models for some extensions of the Lambek calculus

Information and Computation, 2022
Max Kanovich, Stepán Kuznetsov, André Ščedrov   +2 more
exaly  

Conjoinability in 1-Discontinuous Lambek Calculus

2014
In the present work we prove a conjoinability criterion for 1-discontinuous Lambek calculus. It turns out that types of this calculus are conjoinable if and only if they have the same sort and the same interpretation in the free abelian group generated by the primitive types.
openaire   +1 more source