Skip Navigation

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

Cover Image
Other Issues:
Previous Next 		Contents: Volume 16, Number 3, June 2008   [Index by Author] 

Down Original Articles
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

George Voutsadakis
Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based {pi}-Institutions
Logic Journal of IGPL Advance Access published on February 26, 2008
Logic Jnl IGPL 2008 16: 233-248; doi:10.1093/jigpal/jzn002 [Abstract] [PDF] [References] [Request Permissions]  

Emil Jerábek
Independent Bases of Admissible Rules
Logic Journal of IGPL Advance Access published on March 13, 2008
Logic Jnl IGPL 2008 16: 249-267; doi:10.1093/jigpal/jzn004 [Abstract] [PDF] [References] [Request Permissions]  

Iris Loeb
Indecomposability of R and R \ {0} in Constructive Reverse Mathematics
Logic Journal of IGPL Advance Access published on March 6, 2008
Logic Jnl IGPL 2008 16: 269-273; doi:10.1093/jigpal/jzn006 [Abstract] [PDF] [References] [Request Permissions]  

Gemma Robles
The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant
Logic Journal of IGPL Advance Access published on May 6, 2008
Logic Jnl IGPL 2008 16: 275-291; doi:10.1093/jigpal/jzn007 [Abstract] [PDF] [References] [Request Permissions]  

Thomas Ågotnes and Michal Walicki
Complete Axiomatisations of Properties of Finite Sets
Logic Jnl IGPL 2008 16: 293-313; doi:10.1093/jigpal/jzn008 [Abstract] [PDF] [References] [Request Permissions]  

Acknowledgements Back

Acknowledgements
Logic Jnl IGPL 2008 16: 315; doi:10.1093/jigpal/jzn010 [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.