Journals in DBLP

Logic Journal of the IGPL
1999, volume: 7, number: 3

1. Dov M. Gabbay
   Editorial. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1999, v:7, n:3, pp:266-276 [Journal]
   
2. Douglas S. Bridges, Luminita Dediu
   Weak Continuity Properties in Constructive Analysis. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1999, v:7, n:3, pp:277-281 [Journal]
   
3. Krysia Broda, Marcelo Finger, Alessandra Russo
   Labelled Natural Deduction for Substructural Logics. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1999, v:7, n:3, pp:283-318 [Journal]
   
4. Roy Dyckhoff
   A Deterministic Terminating Sequent Calculus for Gödel-Dummett logic. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1999, v:7, n:3, pp:319-326 [Journal]
   
5. Lew Gordeev
   Variable Compactness in 1-Order Logic. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1999, v:7, n:3, pp:327-357 [Journal]
   
6. Heinz-Dieter Ebbinghaus
   Is There a Logic for Polynomial Time? [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1999, v:7, n:3, pp:359-374 [Journal]
   
7. Scott Hazelhurst, Carl-Johan H. Seger
   Model Checking Lattices: Using and reasoning about information orders for abstraction. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1999, v:7, n:3, pp:375-411 [Journal]
   
8. 
   Conference Report: Logic for Concurrency and Synchronisation (LOCUS). [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1999, v:7, n:3, pp:412-417 [Journal]