Skip Navigation

Receive this page by email each issue: [Sign up for eTOCs]

Cover Image
Other Issues:
Previous Next 		Contents: Volume 15, Number 2, March 2007   [Index by Author] 

Down Original Articles
Down Conferences
Down Acknowledgements


[Search ALL Issues]

Table of Contents (PDF)

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.

Original Articles Back

Ariel Arbiser, Fairouz Kamareddine, and Alejandro Rios
The Weak Normalization of the Simply Typed {lambda}se-calculus
Logic Journal of IGPL Advance Access published on May 15, 2007
Logic Jnl IGPL 2007 15: 121-147; doi:10.1093/jigpal/jzm003 [Abstract] [Full Text] [PDF] [Request Permissions]  

Ryo Ishigaki and Kentaro Kikuchi
A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic
Logic Journal of IGPL Advance Access published on May 15, 2007
Logic Jnl IGPL 2007 15: 149-164; doi:10.1093/jigpal/jzm004 [Abstract] [Full Text] [PDF] [Request Permissions]  

Lloyd Humberstone and Robert K. Meyer
The Relevant Equivalence Property
Logic Journal of IGPL Advance Access published on March 26, 2007
Logic Jnl IGPL 2007 15: 165-181; doi:10.1093/jigpal/jzm005 [Abstract] [Full Text] [PDF] [Request Permissions]  

Miklós Ferenczi
On Cylindric Algebras Satisfying Merry-go-round Properties
Logic Journal of IGPL Advance Access published on June 6, 2007
Logic Jnl IGPL 2007 15: 183-197; doi:10.1093/jigpal/jzm006 [Abstract] [Full Text] [PDF] [Request Permissions]  

Conferences Back

Conferences
Logic Journal of IGPL Advance Access published on May 15, 2007
Logic Jnl IGPL 2007 15: 199-209; doi:10.1093/jigpal/jzm007 [Full Text] [PDF] [Request Permissions]  

Acknowledgements Back

Acknowledgements
Logic Jnl IGPL 2007 15: 210; doi:10.1093/jigpal/jzm016 [Full Text] [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.