Skip Navigation

Receive this page by email each issue: [Sign up for eTOCs]

Cover Image
Other Issues:
Previous Next 		Contents: Volume 18, Number 6, December 2008   [Index by Author] 

Down Corner Article
Down Original Articles
Down Acknowledgements


[Search ALL Issues]

Table of Contents (PDF)

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.

Corner Article Back

Evgeny Yu. Sherkhonov
Modal Operators over Constructive Logic
Journal of Logic and Computation Advance Access published on May 5, 2008
J Logic Computation 2008 18: 815-829; doi:10.1093/logcom/exn016 [Abstract] [PDF] [References] [Request Permissions]  

Original Articles Back

Carlo Meghini and Nicolas Spyratos
Synthesizing Monadic Predicates
Journal of Logic and Computation Advance Access published on April 5, 2008
J Logic Computation 2008 18: 831-847; doi:10.1093/logcom/exn006 [Abstract] [PDF] [References] [Request Permissions]  

Ariel Arbiser
The Expansion Problem in Lambda Calculi with Explicit Substitution
Journal of Logic and Computation Advance Access published on April 23, 2008
J Logic Computation 2008 18: 849-883; doi:10.1093/logcom/exn007 [Abstract] [PDF] [References] [Request Permissions]  

Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, and Cristina Sernadas
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
Journal of Logic and Computation Advance Access published on April 23, 2008
J Logic Computation 2008 18: 885-911; doi:10.1093/logcom/exn014 [Abstract] [PDF] [References] [Request Permissions]  

Mauricio Osorio Galindo, José R. Arrazola Ramírez, and José Luis Carballido
Logical Weak Completions of Paraconsistent Logics
Journal of Logic and Computation Advance Access published on May 9, 2008
J Logic Computation 2008 18: 913-940; doi:10.1093/logcom/exn015 [Abstract] [PDF] [References] [Request Permissions]  

Enrico Marchioni
On Computational Complexity of Semilinear Varieties
Journal of Logic and Computation Advance Access published on June 27, 2008
J Logic Computation 2008 18: 941-958; doi:10.1093/logcom/exn017 [Abstract] [PDF] [References] [Request Permissions]  

Mladen Pavicic and Norman D. Megill
Standard Logics Are Valuation-Nonmonotonic
Journal of Logic and Computation Advance Access published on June 26, 2008
J Logic Computation 2008 18: 959-982; doi:10.1093/logcom/exn018 [Abstract] [PDF] [References] [Request Permissions]  

Giorgi Japaridze
Cirquent Calculus Deepened
Journal of Logic and Computation Advance Access published on July 21, 2008
J Logic Computation 2008 18: 983-1028; doi:10.1093/logcom/exn019 [Abstract] [PDF] [References] [Request Permissions]  

Maria Nogin and Aleksey Nogin
On Dynamic Topological Logic of the Real Line
Journal of Logic and Computation Advance Access published on August 6, 2008
J Logic Computation 2008 18: 1029-1045; doi:10.1093/logcom/exn034 [Abstract] [PDF] [References] [Request Permissions]  

Jirí Adámek, Stephen L. Bloom, and Stefan Milius
On Algebras with Iteration
Journal of Logic and Computation Advance Access published on October 1, 2008
J Logic Computation 2008 18: 1047-1085; doi:10.1093/logcom/exn035 [Abstract] [PDF] [References] [Request Permissions]  

Acknowledgements Back

Acknowledgements
J Logic Computation 2008 18: 1087; doi:10.1093/logcom/exn097 [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.