Cox's Theorem Revisited

11/27/1999
by   Joseph Y. Halpern, et al.
0

The assumptions needed to prove Cox's Theorem are discussed and examined. Various sets of assumptions under which a Cox-style theorem can be proved are provided, although all are rather strong and, arguably, not natural.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/10/2022

A Reunion of Godel, Tarski, Carnap, and Rosser

We unify Godel's First Incompleteness Theorem (1931), Tarski's Undefinab...
research
10/11/2022

Formalizing May's Theorem

This report presents a formalization of May's theorem in the proof assis...
research
09/18/2019

Comments on "On Favorable Propagation in Massive MIMO Systems and Different Antenna Configurations" [1]

It is shown that the condition of Theorem 1 in [1] never holds in practi...
research
03/09/2023

π-augmented pregroups and applications to linguistics

We enrich pregroups with a mapping which allows us to locally apply prec...
research
02/08/2022

Trained Model in Supervised Deep Learning is a Conditional Risk Minimizer

We proved that a trained model in supervised deep learning minimizes the...
research
05/07/2019

The strong approximation theorem and computing with linear groups

We obtain a computational realization of the strong approximation theore...
research
12/02/2020

Tensor Data Scattering and the Impossibility of Slicing Theorem

This paper establishes a broad theoretical framework for tensor data dis...

Please sign up or login with your details

Forgot password? Click here to reset