Journal of Logic and Computation

Articles

Norihiro Kamide

Relevance Principle for Substructural Logics with Mingle and Strong Negation
J Logic Computation 2002 12: 913-928; doi:10.1093/logcom/12.6.913 [Abstract] [PDF] [Request Permissions]  

Manfred Schmidt-Schauß

A Decision Algorithm for Stratified Context Unification
J Logic Computation 2002 12: 929-953; doi:10.1093/logcom/12.6.929 [Abstract] [PDF] [Request Permissions]  

Guido Fiorino

Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics
J Logic Computation 2002 12: 955-992; doi:10.1093/logcom/12.6.955 [Abstract] [PDF] [Request Permissions]  

Stéphane Demri and Rajeev Goré

Display Calculi for Nominal Tense Logics
J Logic Computation 2002 12: 993-1016; doi:10.1093/logcom/12.6.993 [Abstract] [PDF] [Request Permissions]  

Melvin Fitting

Modal Logics Between Propositional and First-order
J Logic Computation 2002 12: 1017-1026; doi:10.1093/logcom/12.6.1017 [Abstract] [PDF] [Request Permissions]  

Alberto Artosi, Guido Governatori, and Antonino Rotolo

Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
J Logic Computation 2002 12: 1027-1060; doi:10.1093/logcom/12.6.1027 [Abstract] [PDF] [Request Permissions]  

Samin Ishtiaq and David J. Pym

Kripke Resource Models of a Dependently-typed, Bunched -calculus
J Logic Computation 2002 12: 1061-1104; doi:10.1093/logcom/12.6.1061 [Abstract] [PDF] [Request Permissions]  

Books Received
J Logic Computation 2002 12: 1105; doi:10.1093/logcom/12.6.1105 [PDF] [Request Permissions]  

Forthcoming Papers
J Logic Computation 2002 12: 1107-1109; doi:10.1093/logcom/12.6.1107 [PDF] [Request Permissions]  

Author Index
J Logic Computation 2002 12: 1113; doi:10.1093/logcom/12.6.1113 [PDF] [Request Permissions]  

Contents for Volume 12
J Logic Computation 2002 12: 1115-1117; doi:10.1093/logcom/12.6.1115 [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.