Home  Online Resources

Cover

Journal of Logic and Computation

Table of Contents

Volume 8, Issue 6: December 1998.


Optimized encodings of fragments of type theory in first-order logic
T Tammet and JM Smith
pp. 713-744
Abstract  

Update rules in datalog programs
MHF Alves, D Laurent and N Spyratos
pp. 745-775
Abstract  

Occurrences and narratives as constraints in the branching structure of the situation calculus
JA Pinto
pp. 777-808
Abstract  

A relevant analysis of natural deduction
SS Ishtiaq and DJ Pym
pp. 809-838
Abstract  

Approximating classical theorems
S Baratella and S Berardi
pp. 839-854
Abstract  

Reasoning about set constraints applied to tractable inference in intuitionistic logic
T Drakengren and P Jonsson
pp. 855-875
Abstract  

Top of the Page


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