Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 51, Number 1 (2010), 119-126.
Axiomatizing the Logic of Comparative Probability
Often where an axiomatization of an intensional logic using only finitely many axioms schemes and rules of the simplest kind is unknown, one has a choice between an axiomatization involving an infinite family of axiom schemes and one involving nonstandard "Gabbay-style" rules. The present note adds another example of this phenomenon, pertaining to the logic comparative probability ("p is no more likely than q"). Peter Gärdenfors has produced an axiomatization involving an infinite family of schemes, and here an alternative using a "Gabbay-style" rule is offered. Both axiomatizations depend on the Kraft-Pratt-Seidenberg theorem from measurement theory.
Notre Dame J. Formal Logic Volume 51, Number 1 (2010), 119-126.
First available in Project Euclid: 4 May 2010
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Primary: 03B48: Probability and inductive logic [See also 60A05]
Burgess, John P. Axiomatizing the Logic of Comparative Probability. Notre Dame J. Formal Logic 51 (2010), no. 1, 119--126. doi:10.1215/00294527-2010-008. http://projecteuclid.org/euclid.ndjfl/1273002113.