Journal of Logic and Computation

Editorial

Chris Fox, Maribel Fernandez, and Shalom Lappin

Lambda Calculus, Type Theory, and Natural Language II
J Logic Computation 2008 18: 203; doi:10.1093/logcom/exm090 [PDF] [Request Permissions]  

Original Articles

Get checked abstract Jan van Eijck

Sequentially Indexed Grammars
Journal of Logic and Computation Advance Access published on May 30, 2007
J Logic Computation 2008 18: 205-228; doi:10.1093/logcom/exm009 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract J. Roger Hindley

M. H. Newman's Typability Algorithm for Lambda-calculus
Journal of Logic and Computation Advance Access published on February 16, 2007
J Logic Computation 2008 18: 229-238; doi:10.1093/logcom/exm001 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Glyn Morrill and Mario Fadda

Proof Nets for Basic Discontinuous Lambek Calculus
Journal of Logic and Computation Advance Access published on February 1, 2008
J Logic Computation 2008 18: 239-256; doi:10.1093/logcom/exm089 [Abstract] [PDF] [References] [Request Permissions]  

Get checked abstract Carl Pollard

Hyperintensions
Journal of Logic and Computation Advance Access published on July 11, 2007
J Logic Computation 2008 18: 257-282; doi:10.1093/logcom/exm003 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Raymond Turner

Computable Models
Journal of Logic and Computation Advance Access published on March 3, 2007
J Logic Computation 2008 18: 283-318; doi:10.1093/logcom/exm002 [Abstract] [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.