Home  Online Resources


Journal of Logic and Computation

Table of Contents

Volume 10, Issue 5: October 2000.

Ramification and causality in a modal action logic
L Giordano, A Martelli and C Schwind
pp. 625-662
Abstract   Full-Text PDF (421 KB)

A single complete refinement rule for Z
J Derrick
pp. 663-675
Abstract   Full-Text PDF (127 KB)

Reasoning with contradictory information using quasi-classical logic
A Hunter
pp. 677-703
Abstract   Full-Text PDF (219 KB)

Non-cumulative reasoning: rules and models
J Engelfriet
pp. 705-719
Abstract   Full-Text PDF (143 KB)

Postponement, conservation and preservation of strong normalization for generalized reduction
F Kamareddine
pp. 721-738
Abstract   Full-Text PDF (197 KB)

Book review. Intelligence Through Simulated Evolution: Forty Years of Evolutionary Programming. LJ Fogel
R Overill
pp. 739-739
Details   Full-Text PDF (8 KB)

Forthcoming papers
pp. 741-742
Full-Text PDF (16nbsp;KB)

Top of the Page

[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 2000.