The logical consistency of a collection of assertions about events
can be viewed as a special case of coherent probability assessments
in the sense of de Finetti.
@article{1242067706,
author = {Dickey, James M. and Eaton, Morris L. and Sudderth, William D.},
title = {De Finetti Coherence and Logical Consistency},
journal = {Notre Dame J. Formal Logic},
volume = {50},
number = {1},
year = {2009},
pages = { 133-139},
language = {en},
url = {http://dml.mathdoc.fr/item/1242067706}
}
Dickey, James M.; Eaton, Morris L.; Sudderth, William D. De Finetti Coherence and Logical Consistency. Notre Dame J. Formal Logic, Tome 50 (2009) no. 1, pp. 133-139. http://gdmltest.u-ga.fr/item/1242067706/