Journal of Logic and Computation

Editorials

Maribel Fernandez, Shalom Lappin, and Chris Fox

Editorial
J Logic Computation 2005 15: 83-84; doi:10.1093/logcom/exh012 [PDF] [Request Permissions]  

Original Articles

Jan van Eijck

Normal Forms for Characteristic Functions on n-ary Relations
J Logic Computation 2005 15: 85-98; doi:10.1093/logcom/exi003 [Abstract] [PDF] [Request Permissions]  

Robin Cooper

Records and Record Types in Semantic Theory
J Logic Computation 2005 15: 99-112; doi:10.1093/logcom/exi004 [Abstract] [PDF] [Request Permissions]  

Jonathan Ginzburg

Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records
J Logic Computation 2005 15: 113-130; doi:10.1093/logcom/exi005 [Abstract] [PDF] [Request Permissions]  

Chris Fox and Shalom Lappin

Underspecified Interpretations in a Curry-typed Representation Language
J Logic Computation 2005 15: 131-143; doi:10.1093/logcom/exi006 [Abstract] [PDF] [Request Permissions]  

Raymond Turner

Semantics and Stratification
J Logic Computation 2005 15: 145-158; doi:10.1093/logcom/exi007 [Abstract] [PDF] [Request Permissions]  

Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky

Probabilistic -calculus and Quantitative Program Analysis
J Logic Computation 2005 15: 159-179; doi:10.1093/logcom/exi008 [Abstract] [PDF] [Request Permissions]  

David Clark, Sebastian Hunt, and Pasquale Malacaria

Quantitative Information Flow, Relations and Polymorphic Types
J Logic Computation 2005 15: 181-199; doi:10.1093/logcom/exi009 [Abstract] [PDF] [Request Permissions]  

François-Règis Sinot

Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting
J Logic Computation 2005 15: 201-218; doi:10.1093/logcom/exi010 [Abstract] [PDF] [Request Permissions]  

Ian Mackie

Interaction Net Implementation of Additive and Multiplicative Structures
J Logic Computation 2005 15: 219-237; doi:10.1093/logcom/exi011 [Abstract] [PDF] [Request Permissions]  

Forthcoming Papers

Forthcoming Papers
J Logic Computation 2005 15: 239-240; doi:10.1093/logcom/exi023 [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.