Skip Navigation

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

Cover Image
Other Issues:
Previous Next 		Contents: Volume 19, Number 2, April 2009   [Index by Author] 

Down Editorial
Down Corner Article
Down Editorial
Down Corner Article
Down Editorial
Down Corner Article
Down Original Articles


[Search ALL Issues]

Front Matter (PDF) | Back Matter (PDF) | 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.

Editorial Back

Matthias Baaz and George Metcalfe
Fuzzy Logic Corner
Journal of Logic and Computation Advance Access published on August 18, 2008
J Logic Computation 2009 19: 343; doi:10.1093/logcom/exn053 [PDF] [Request Permissions]  

Corner Article Back

Petr Cintula and Petr Hájek
Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
Journal of Logic and Computation Advance Access published on August 14, 2008
J Logic Computation 2009 19: 245-260; doi:10.1093/logcom/exn052 [Abstract] [PDF] [References] [Request Permissions]  

Editorial Back

Maribel Fernández
Rewriting Corner
Journal of Logic and Computation Advance Access published on November 21, 2008
J Logic Computation 2009 19: 261; doi:10.1093/logcom/exn072 [PDF] [Request Permissions]  

Corner Article Back

Miquel Bofill and Albert Rubio
Paramodulation with Well-founded Orderings
Journal of Logic and Computation Advance Access published on November 21, 2008
J Logic Computation 2009 19: 263-302; doi:10.1093/logcom/exn073 [Abstract] [PDF] [References] [Request Permissions]  

Editorial Back

Yde Venema
Algebraic and Coalgebraic Logic Corner
Journal of Logic and Computation Advance Access published on December 12, 2008
J Logic Computation 2009 19: 303; doi:10.1093/logcom/exn098 [PDF] [Request Permissions]  

Corner Article Back

Szabolcs Mikulás
Algebras of Relations and Relevance Logic
Journal of Logic and Computation Advance Access published on December 12, 2008
J Logic Computation 2009 19: 305-321; doi:10.1093/logcom/exn099 [Abstract] [PDF] [References] [Request Permissions]  

Original Articles Back

Emil Jerábek
Proof Complexity of the Cut-free Calculus of Structures
Journal of Logic and Computation Advance Access published on September 5, 2008
J Logic Computation 2009 19: 323-339; doi:10.1093/logcom/exn054 [Abstract] [PDF] [References] [Request Permissions]  

Murdoch J. Gabbay
Nominal Algebra and the HSP Theorem
Journal of Logic and Computation Advance Access published on October 14, 2008
J Logic Computation 2009 19: 341-367; doi:10.1093/logcom/exn055 [Abstract] [PDF] [References] [Request Permissions]  

Nicole Bidoit and Matthieu Objois
Fixpoint and While Temporal Query Languages
Journal of Logic and Computation Advance Access published on October 20, 2008
J Logic Computation 2009 19: 369-404; doi:10.1093/logcom/exn056 [Abstract] [PDF] [References] [Request Permissions]  

Yan Zhang
Updating Epistemic Logic Programs
Journal of Logic and Computation Advance Access published on February 3, 2009
J Logic Computation 2009 19: 405-423; doi:10.1093/logcom/exn100 [Abstract] [PDF] [References] [Request Permissions]  

Santiago Figueira, Joseph S. Miller, and André Nies
Indifferent Sets
Journal of Logic and Computation Advance Access published on December 23, 2008
J Logic Computation 2009 19: 425-443; doi:10.1093/logcom/exn101 [Abstract] [PDF] [References] [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.