Logic Journal of IGPL

Articles

DM Gabbay

Editorial. New revolutionary publication policy
Logic Jnl IGPL 1999 7: 276; doi:10.1093/jigpal/7.3.276 [PDF] [Request Permissions]  

D Bridges and L Dediu

Weak continuity properties in constructive analysis
Logic Jnl IGPL 1999 7: 277-281; doi:10.1093/jigpal/7.3.277 [Abstract] [PDF] [Request Permissions]  

K Broda, M Finger, and A Russo

Labelled natural deduction for substructural logics
Logic Jnl IGPL 1999 7: 283-318; doi:10.1093/jigpal/7.3.283 [Abstract] [PDF] [Request Permissions]  

R Dyckhoff

A deterministic terminating sequent calculus for Gödel-Dummett logic
Logic Jnl IGPL 1999 7: 319-326; doi:10.1093/jigpal/7.3.319 [Abstract] [PDF] [Request Permissions]  

L Gordeev

Variable compactness in 1-order logic
Logic Jnl IGPL 1999 7: 327-357; doi:10.1093/jigpal/7.3.327 [Abstract] [PDF] [Request Permissions]  

H-D Ebbinghaus

Is there a logic for polynomial time?
Logic Jnl IGPL 1999 7: 359-374; doi:10.1093/jigpal/7.3.359 [Abstract] [PDF] [Request Permissions]  

S Hazelhurst and C-JH Seger

Model checking lattices: using and reasoning about information orders for abstraction
Logic Jnl IGPL 1999 7: 375-411; doi:10.1093/jigpal/7.3.375 [Abstract] [PDF] [Request Permissions]  

Various

Conferences
Logic Jnl IGPL 1999 7: 413-417; doi:10.1093/jigpal/7.3.413 [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.