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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Bicartesian Coherence.
- Published in:
- Studia Logica, 2002, v. 71, n. 3, p. 331, doi. 10.1023/a:1020568830946
- By:
- 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:
- 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:
- Publication type:
- Article
Editorial Introduction.
- Published in:
- Studia Logica, 2002, v. 71, n. 3, p. 261, doi. 10.1023/a:1020555012290
- By:
- Publication type:
- Article