Sciweavers

33 search results - page 5 / 7

» Discontinuity And The Lambek Calculus

95

COLING
1990

60views Computational Linguistics» more COLING 1990»

Normal Form Theorem Proving for the Lambek Calculus

15 years 7 months ago

Normal Form Theorem Proving for the Lambek Calculus

Download acl.ldc.upenn.edu

Mark Hepple

claim paper

Read More »

112

CORR
2010
Springer

55views Education» more CORR 2010»

Tableaux for the Lambek-Grishin calculus

15 years 6 months ago

Tableaux for the Lambek-Grishin calculus

Download marija.gforge.uni.lu

Arno Bastenhof

claim paper

Read More »

130

COLING
1999

111views Computational Linguistics» more COLING 1999»

Tree Adjoining Grammars in a Fragment of the Lambek Calculus

15 years 5 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 »

119

SLOGICA
2002

61views more SLOGICA 2002»

Proof Nets for the Multimodal Lambek Calculus

15 years 5 months ago

Proof Nets for the Multimodal Lambek Calculus

Download igitur-archive.library.uu.nl

Richard Moot, Quintijn Puite

claim paper

Read More »

152

CADE
1999
Springer

119views Logical Reasoning» more CADE 1999»

A dynamic programming approach to categorial deduction

15 years 10 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 »