Oxford Journals
tools journals homepage advanced search contact help
Journal of Logic and Computation: Current Issue
 
home
browse
current
etoc
authors
subinfo
subscribers
samples

OUP > Journals > Computing/Engineer. & Mathematics/Stats. > Journal of Logic and Computation

Journal of Logic and Computation

Volume 13, Issue 4, June 2003

Editorial
Heinrich Wansing
p. 451
Details Full-Text PDF (22 KB)

Original Article
Algebraic Semantics for Paraconsistent Nelson's Logic
Sergei P. Odintsov
pp. 453-468
Abstract Full-Text PDF (146 KB)

Original Article
Fuzzy Logics with Noncommutative Conjuctions
Petr Hájek
pp. 469-479
Abstract Full-Text PDF (112 KB)

Original Article
A Note on Absolutely Unorderable Combinatory Algebras
Stefania Lusin and Antonino Salibra
pp. 481-502
Abstract Full-Text PDF (197 KB)

Original Article
Fixed-point Logics with Nondeterministic Choice
Anuj Dawar and David Richerby
pp. 503-530
Abstract Full-Text PDF (285 KB)

Original Article
Hoops and Fuzzy Logic
Francesc Esteva, Lluís Godo, Petr Hájek and Franco Montagna
pp. 532-555
Abstract Full-Text PDF (211 KB)

Original Article
Reducing Preferential Paraconsistent Reasoning to Classical Entailment
Ofer Arieli and Marc Denecker
pp. 557-580
Abstract Full-Text PDF (236 KB)

Original Article
A Complete Axiomatization for Blocks World
Stephen A. Cook and Yongmei Liu
pp. 581-594
Abstract Full-Text PDF (152 KB)

Original Article
Fibring Logics with Topos Semantics
Marcelo E. Coniglio, Amilcar C. Sernadas and Cristina S. Sernadas
pp. 595-624
Abstract Full-Text PDF (300 KB)

grp
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel and Job Zwiers, ed. Book Reviews
Reviewed by R. Banach
pp. 625-627
Details Full-Text PDF (20 KB)

Forthcoming Papers
pp. 629-631
Full-Text PDF (32 KB)

Oxford University Press
Published by Oxford University Press
Copyright ©Oxford University Press 2003
Print ISSN: 0955-792X  Online ISSN: 1465-363X.
Oxford University Press Privacy Policy and Legal Statement