Journal of Logic and Computation

Original Articles

Get checked abstract Trevor Bench-Capon and Henry Prakken

Introducing the Logic and Law Corner
Journal of Logic and Computation Advance Access published on October 22, 2007
J Logic Computation 2008 18: 1-12; doi:10.1093/logcom/exm060 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Guilherme Bittencourt

Combining Syntax and Semantics through Prime Form Representation
Journal of Logic and Computation Advance Access published on September 4, 2007
J Logic Computation 2008 18: 13-33; doi:10.1093/logcom/exm051 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Thomas Vetterlein

Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms
Journal of Logic and Computation Advance Access published on October 22, 2007
J Logic Computation 2008 18: 35-57; doi:10.1093/logcom/exm053 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Daniel Lehmann

A Presentation of Quantum Logic Based on an and then Connective
Journal of Logic and Computation Advance Access published on August 21, 2007
J Logic Computation 2008 18: 59-76; doi:10.1093/logcom/exm054 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Maria Paola Bonacina and Mnacho Echenim

On Variable-inactivity and Polynomial -Satisfiability Procedures
Journal of Logic and Computation Advance Access published on August 21, 2007
J Logic Computation 2008 18: 77-96; doi:10.1093/logcom/exm055 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Eduardo Mizraji

Vector Logic: A Natural Algebraic Representation of the Fundamental Logical Gates
Journal of Logic and Computation Advance Access published on October 23, 2007
J Logic Computation 2008 18: 97-121; doi:10.1093/logcom/exm057 [Abstract] [Full Text] [PDF] [Request Permissions]  

Get checked abstract Walter Carnielli, João Rasga, and Cristina Sernadas

Preservation of Interpolation Features by Fibring
Journal of Logic and Computation Advance Access published on November 6, 2007
J Logic Computation 2008 18: 123-151; doi:10.1093/logcom/exm061 [Abstract] [PDF] [References] [Request Permissions]  

Get checked abstract Parosh Aziz Abdulla, Ahmed Bouajjani, and Julien D'orso

Monotonic and Downward Closed Games
Journal of Logic and Computation Advance Access published on November 22, 2007
J Logic Computation 2008 18: 153-169; doi:10.1093/logcom/exm062 [Abstract] [PDF] [References] [Request Permissions]  

Get checked abstract Mirjana Isakovic Ilic

Cut Elimination and Decidability for Classical Lambek Logic
Journal of Logic and Computation Advance Access published on November 11, 2007
J Logic Computation 2008 18: 171-199; doi:10.1093/logcom/exm063 [Abstract] [PDF] [References] [Request Permissions]  

Call for Papers

Call for Papers
Journal of Logic and Computation Advance Access published on December 5, 2007
J Logic Computation 2008 18: 201; doi:10.1093/logcom/exm088 [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.