Skip Navigation

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

Cover Image
Other Issues:
Previous 		Contents: Volume 17, Number 6, December 2009   [Index by Author] 

Down Original Articles
Down Erratum
Down Conferences
Down Acknowledgements


[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.

Original Articles Back

Fabrizio Riguzzi
Extended semantics and inference for the Independent Choice Logic
Logic Journal of IGPL Advance Access published on July 17, 2009
Logic Jnl IGPL 2009 17: 589-629; doi:10.1093/jigpal/jzp025 [Abstract] [PDF] [References] [Request Permissions]  

Howard Barringer, Dov Gabbay, and David Rydeheard
Modelling evolvable component systems: Part I: A logical framework
Logic Journal of IGPL Advance Access published on August 10, 2009
Logic Jnl IGPL 2009 17: 631-696; doi:10.1093/jigpal/jzp026 [Abstract] [PDF] [References] [Request Permissions]  

Daniel Ventura, Mauricio Ayala-Rincón, and Fairouz Kamareddine
Explicit substitutions calculi with one step Eta-reduction decided explicitly
Logic Journal of IGPL Advance Access published on July 19, 2009
Logic Jnl IGPL 2009 17: 697-718; doi:10.1093/jigpal/jzp027 [Abstract] [PDF] [References] [Request Permissions]  

Allen L. Mann
Independence-friendly cylindric set algebras
Logic Journal of IGPL Advance Access published on August 4, 2009
Logic Jnl IGPL 2009 17: 719-754; doi:10.1093/jigpal/jzp029 [Abstract] [PDF] [References] [Request Permissions]  

Judit Madarász and Tarek Sayed Ahmed
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation
Logic Journal of IGPL Advance Access published on July 8, 2009
Logic Jnl IGPL 2009 17: 755-802; doi:10.1093/jigpal/jzp013 [Abstract] [PDF] [References] [Request Permissions]  

Erratum Back

Igor Carboni Oliveira and Walter Carnielli
Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories" • Logic Journal of the IGPL, 16(6): 585–590(2008)
Logic Journal of IGPL Advance Access published on November 12, 2009
Logic Jnl IGPL 2009 17: 803-804; doi:10.1093/jigpal/jzp030 [PDF] [References] [Request Permissions]  

Conferences Back

16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009)
Logic Jnl IGPL 2009 17: 805-815; doi:10.1093/jigpal/jzp031 [PDF] [Request Permissions]  

Acknowledgements Back

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