Works matching IS 00393215 AND DT 2002 AND VI 71 AND IP 3

Results: 8

A Rule-Extension of the Non-Associative Lambek Calculus.

Published in:

Studia Logica, 2002, v. 71, n. 3, p. 443, doi. 10.1023/a:1020529116833

By:

Heinrich Wansing

Publication type:

Article

Proof Nets for the Multimodal Lambek Calculus.

Published in:

Studia Logica, 2002, v. 71, n. 3, p. 415, doi. 10.1023/a:1020525032763

By:

Richard Moot;
Quintijn Puite

Publication type:

Article

Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus.

Published in:

Studia Logica, 2002, v. 71, n. 3, p. 389, doi. 10.1023/a:1020572931854

By:

Wendy MacCaull;
Ewa Orłlowska

Publication type:

Article

Classical Non-Associative Lambek Calculus.

Published in:

Studia Logica, 2002, v. 71, n. 3, p. 355, doi. 10.1023/a:1020520915016

By:

Philippe de Groote;
François Lamarche

Publication type:

Article

Bicartesian Coherence.

Published in:

Studia Logica, 2002, v. 71, n. 3, p. 331, doi. 10.1023/a:1020568830946

By:

Kosta Došen;
Zoran Petrić

Publication type:

Article

Classical Conservative Extensions of Lambek Calculus.

Published in:

Studia Logica, 2002, v. 71, n. 3, p. 277, doi. 10.1023/a:1020560613199

By:

V. Michele Abrusci

Publication type:

Article

Editorial Introduction.

Published in:

Studia Logica, 2002, v. 71, n. 3, p. 261, doi. 10.1023/a:1020555012290

By:

Wojciech Buszkowski;
Michael Moortgat

Publication type:

Article

A Tale of Four Grammars.

Published in:

Studia Logica, 2002, v. 71, n. 3, p. 315, doi. 10.1023/a:1020564714107

By:

Claudia Casadio;
Joachim Lambek

Publication type:

Article