Logic Journal of IGPL

Articles

Anon

Editorial
Logic Jnl IGPL 1998 6: 667-668; doi:10.1093/jigpal/6.5.667 [PDF] [Request Permissions]  

R Gore

Gaggles, Gentzen and Galois: how to display your favourite substructural logic
Logic Jnl IGPL 1998 6: 669-694; doi:10.1093/jigpal/6.5.669 [Abstract] [PDF] [Request Permissions]  

A Avron

Two types of multiple-conclusion systems
Logic Jnl IGPL 1998 6: 695-718; doi:10.1093/jigpal/6.5.695 [Abstract] [PDF] [Request Permissions]  

H Wansing

Translation of hypersequents into display sequents
Logic Jnl IGPL 1998 6: 719-734; doi:10.1093/jigpal/6.5.719 [Abstract] [PDF] [Request Permissions]  

S Guerrini, S Martini, and A Masini

An analysis of (linear) exponentials based on extended sequents
Logic Jnl IGPL 1998 6: 735-754; doi:10.1093/jigpal/6.5.735 [Abstract] [PDF] [Request Permissions]  

B Konikowska, CG Morgan, and E Orlowska

A relational formalisation of arbitrary finite valued logics
Logic Jnl IGPL 1998 6: 755-774; doi:10.1093/jigpal/6.5.755 [Abstract] [PDF] [Request Permissions]  

A Pliuskeviciene

Extended disjunction and existence properties for some predicate modal logics
Logic Jnl IGPL 1998 6: 775-787; doi:10.1093/jigpal/6.5.775 [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.