Logic Journal of IGPL

Original Articles

Douglas Bridges

A Weak Constructive Sequential Compactness Property and the Fan Theorem
Logic Jnl IGPL 2005 13: 151-158; doi:10.1093/jigpal/jzi011 [Abstract] [PDF] [Request Permissions]  

Robin Hirsch

The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable
Logic Jnl IGPL 2005 13: 159-171; doi:10.1093/jigpal/jzi012 [Abstract] [PDF] [Request Permissions]  

Paulo Mateus, João Rasga, and Cristina Sernadas

Modal Sequent Calculi Labelled with Truth Values: Cut Elimination
Logic Jnl IGPL 2005 13: 173-199; doi:10.1093/jigpal/jzi013 [Abstract] [PDF] [Request Permissions]  

M.I. Golovanov, A.V. Kosheleva, and V. Rybakov

Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules
Logic Jnl IGPL 2005 13: 201-209; doi:10.1093/jigpal/jzi014 [Abstract] [PDF] [Request Permissions]  

John Slaney

Semipositive LTL with an Uninterpreted Past Operator
Logic Jnl IGPL 2005 13: 211-229; doi:10.1093/jigpal/jzi015 [Abstract] [PDF] [Request Permissions]  

John Woods

Dialectical Considerations on the Logic of Contradiction: Part I
Logic Jnl IGPL 2005 13: 231-260; doi:10.1093/jigpal/jzi016 [Abstract] [PDF] [Request Permissions]  

Shunsuke Yatabe

A note on Hájek, Paris and Shepherdson's theorem
Logic Jnl IGPL 2005 13: 261-266; doi:10.1093/jigpal/jzi017 [Abstract] [PDF] [Request Permissions]  

Acknowledgements

Acknowledgements
Logic Jnl IGPL 2005 13: 267; doi:10.1093/jigpal/jzi018 [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.