Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

O IS NOT ENOUGH

O IS NOT ENOUGH We examine the closure conditions of the probabilistic consequence relation of Hawthorne and Makinson, specifically the outstanding question of completeness in terms of Horn rules, of their proposed (finite) set of rules O. We show that on the contrary no such finite set of Horn rules exists, though we are able to specify an infinite set which is complete. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png The Review of Symbolic Logic Cambridge University Press

Loading next page...
 
/lp/cambridge-university-press/o-is-not-enough-VNZhm9cGDQ

References (12)

Publisher
Cambridge University Press
Copyright
Copyright © Association for Symbolic Logic 2009
ISSN
1755-0211
eISSN
1755-0203
DOI
10.1017/S1755020309090236
Publisher site
See Article on Publisher Site

Abstract

We examine the closure conditions of the probabilistic consequence relation of Hawthorne and Makinson, specifically the outstanding question of completeness in terms of Horn rules, of their proposed (finite) set of rules O. We show that on the contrary no such finite set of Horn rules exists, though we are able to specify an infinite set which is complete.

Journal

The Review of Symbolic LogicCambridge University Press

Published: Jun 1, 2009

There are no references for this article.