Skip Navigation

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

Cover Image
Other Issues:
Previous Next 		Contents: Volume 17, Number 5, October 2009   [Index by Author] 

Down Preface
Down Original Articles
Down Acknowledgements

 
Special Issue: Logical and Semantical Frameworks with Applications

Guest Editors: Mauricio Ayala-Rincón and Edward Hermann Haeusler

[Search ALL Issues]

Front Matter (PDF) | Back Matter (PDF) | 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.

Preface Back

Mauricio Ayala-Rincón and Edward Hermann Haeusler
Preface
Logic Journal of IGPL Advance Access published on August 12, 2009
Logic Jnl IGPL 2009 17: 487-488; doi:10.1093/jigpal/jzp018 [PDF] [Request Permissions]  

Original Articles Back

Gilles Dowek
On the convergence of reduction-based and model-based methods in proof theory
Logic Journal of IGPL Advance Access published on August 8, 2009
Logic Jnl IGPL 2009 17: 489-497; doi:10.1093/jigpal/jzp022 [Abstract] [PDF] [References] [Request Permissions]  

Marco Gaboardi and Simona Ronchi Della Rocca
From light logics to type assignments: a case study
Logic Journal of IGPL Advance Access published on July 4, 2009
Logic Jnl IGPL 2009 17: 499-530; doi:10.1093/jigpal/jzp019 [Abstract] [PDF] [References] [Request Permissions]  

Alexandre Matos Arruda and Ana Teresa Martins
Natural deduction for the finite least fixed point logic with an infinitary rule
Logic Jnl IGPL 2009 17: 531-558; doi:10.1093/jigpal/jzp020 [Abstract] [PDF] [References] [Request Permissions]  

Mario R. F. Benevides and L. Menasché Schechter
Using modal logics to express and check global graph properties
Logic Journal of IGPL Advance Access published on August 12, 2009
Logic Jnl IGPL 2009 17: 559-587; doi:10.1093/jigpal/jzp021 [Abstract] [PDF] [References] [Request Permissions]  

Acknowledgements Back

Acknowledgements
Logic Jnl IGPL 2009 17: 588; doi:10.1093/jigpal/jzp051 [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.