Open Access
2010 Axiomatizing the Logic of Comparative Probability
John P. Burgess
Notre Dame J. Formal Logic 51(1): 119-126 (2010). DOI: 10.1215/00294527-2010-008


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.


Download Citation

John P. Burgess. "Axiomatizing the Logic of Comparative Probability." Notre Dame J. Formal Logic 51 (1) 119 - 126, 2010.


Published: 2010
First available in Project Euclid: 4 May 2010

zbMATH: 1193.03044
MathSciNet: MR2666573
Digital Object Identifier: 10.1215/00294527-2010-008

Primary: 03B48

Keywords: axiomatization , probability logic , qualitative probability

Rights: Copyright © 2010 University of Notre Dame

Vol.51 • No. 1 • 2010
Back to Top