Journals in DBLP

Logic Journal of the IGPL
2001, volume: 9, number: 4

1. Tarek Sayed Ahmed
   The Class of Neat Reducts is Not Elementary. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2001, v:9, n:4, pp:- [Journal]
   
2. Roy Dyckhoff, Sara Negri
   Admissibility of Structural Rules for Extensions of Contraction-Free Sequent Calculi. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2001, v:9, n:4, pp:- [Journal]
   
3. Mauricio Ayala-Rincón, Fairouz Kamareddine
   Unification via the lambda s_e-Style of Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2001, v:9, n:4, pp:- [Journal]
   
4. Katalin Bimbó
   Semantics for Structurally Free Logics LC+. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2001, v:9, n:4, pp:- [Journal]
   
5. Keiko Ishihara, Kunihiko Hiraishi
   The Completeness of Linear Logic for Petri Net Models. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2001, v:9, n:4, pp:- [Journal]
   
6. Nicolas Peltier
   On the decidability of the PVD class with equality. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2001, v:9, n:4, pp:- [Journal]