Sciweavers

33 search results - page 5 / 7

» Discontinuity And The Lambek Calculus

17

COLING
1990

60views Computational Linguistics» more COLING 1990»

Normal Form Theorem Proving for the Lambek Calculus

13 years 11 months ago

Normal Form Theorem Proving for the Lambek Calculus

Download acl.ldc.upenn.edu

Mark Hepple

claim paper

Read More »

21

CORR
2010
Springer

55views Education» more CORR 2010»

Tableaux for the Lambek-Grishin calculus

13 years 10 months ago

Tableaux for the Lambek-Grishin calculus

Download marija.gforge.uni.lu

Arno Bastenhof

claim paper

Read More »

26

COLING
1999

111views Computational Linguistics» more COLING 1999»

Tree Adjoining Grammars in a Fragment of the Lambek Calculus

13 years 9 months ago

Tree Adjoining Grammars in a Fragment of the Lambek Calculus

Download acl.ldc.upenn.edu

V. Michele Abrusci, Christophe Fouqueré, Ja...

claim paper

Read More »

20

SLOGICA
2002

61views more SLOGICA 2002»

Proof Nets for the Multimodal Lambek Calculus

13 years 9 months ago

Proof Nets for the Multimodal Lambek Calculus

Download igitur-archive.library.uu.nl

Richard Moot, Quintijn Puite

claim paper

Read More »

31

CADE
1999
Springer

119views Logical Reasoning» more CADE 1999»

A dynamic programming approach to categorial deduction

14 years 2 months ago

A dynamic programming approach to categorial deduction

Download www.loria.fr

We reduce the provability problem of any formula of the Lambek calculus to some context-free parsing problem. This reduction, which is based on non-commutative proof-net theory, al...

Philippe de Groote

claim paper

Read More »

« Prev « First page 5 / 7 Last » Next »