The SCEAS System
Navigation Menu

Journals in DBLP

Studia Logica
2002, volume: 71, number: 3

  1. Wojciech Buszkowski, Michael Moortgat
    Editorial Introduction. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:71, n:3, pp:261-275 [Journal]
  2. V. Michele Abrusci
    Classical Conservative Extensions of Lambek Calculus. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:71, n:3, pp:277-314 [Journal]
  3. Claudia Casadio, Joachim Lambek
    A Tale of Four Grammars. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:71, n:3, pp:315-329 [Journal]
  4. Kosta Dosen, Zoran Petric
    Bicartesian Coherence. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:71, n:3, pp:331-353 [Journal]
  5. Philippe de Groote, François Lamarche
    Classical Non-Associative Lambek Calculus. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:71, n:3, pp:355-388 [Journal]
  6. Wendy MacCaull, Ewa Orlowska
    Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:71, n:3, pp:389-414 [Journal]
  7. Richard Moot, Quintijn Puite
    Proof Nets for the Multimodal Lambek Calculus. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:71, n:3, pp:415-442 [Journal]
  8. Heinrich Wansing
    A Rule-Extension of the Non-Associative Lambek Calculus. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:71, n:3, pp:443-451 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002