Logic Journal of IGPL

Articles

H Wansing

Editorial introduction. Special issue on consequence relations and sequent systems
Logic Jnl IGPL 1998 6: 377-381; doi:10.1093/jigpal/6.3.377 [PDF] [Request Permissions]  

G Battilotti

Embedding classical logic into basic orthologic with a primitive modality
Logic Jnl IGPL 1998 6: 383-402; doi:10.1093/jigpal/6.3.383 [Abstract] [PDF] [Request Permissions]  

K Bimbó and JM Dunn

Two extensions of the structurally free logic LC
Logic Jnl IGPL 1998 6: 403-424; doi:10.1093/jigpal/6.3.403 [Abstract] [PDF] [Request Permissions]  

M Finger

Towards structurally-free theorem proving
Logic Jnl IGPL 1998 6: 425-449; doi:10.1093/jigpal/6.3.425 [Abstract] [PDF] [Request Permissions]  

R Goré

Substructural logics on display
Logic Jnl IGPL 1998 6: 451-504; doi:10.1093/jigpal/6.3.451 [Abstract] [PDF] [Request Permissions]  

A Indrzejczak

Cut-free double sequent calculus for S5
Logic Jnl IGPL 1998 6: 505-516; doi:10.1093/jigpal/6.3.505 [Abstract] [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.