Results 101 to 110 of about 160,476 (167)

Stochastic Lambek Categorial Grammars

open access: yes, 2001
Colloque avec actes et comité de lecture. internationale.International audienceWe present here a stochastic point of vue on Lambek Categorial Grammars which have shown their utility in Natural Language Processing.
Bonfante, Guillaume, de Groote, Philippe
core   +1 more source

Iterative Division in the Distributive Full Non-associative Lambek Calculus

open access: yesDynamic Logic. New Trends and Applications, 2019
I. Sedlár
semanticscholar   +1 more source

Proof nets without links for cyclic linear logic and Lambek calculus (joint work with S. Pogodalla)

open access: yes, 2006
We extend the proof net up to associativity and commutativity to the non commutative cyclic case, and thus provide proof net for the assocative Lambek calculus for which associativity of connectives is equality of the ...
Retoré, Christian
core  
Some of the next articles are maybe not open access.

Related searches:

Extending the Lambek Calculus with Classical Negation

Studia Logica, 2021
Let \textbf{NL} be the non-associative Lambek calculus and S (our symbol) be the ternary relational semantics for \textbf{NL} as defined in [\textit{K. Došen}, Z. Math. Logik Grundlagen Math. 38, No. 2, 179--187 (1992; Zbl 0793.03025)]. Moreover, let negation be classically interpreted when ``a world satisfies the negation of a formula if and only if ...
Michael Kaminski, Kaminski Michael
exaly   +4 more sources

Home - About - Disclaimer - Privacy