𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On a difficulty in constructing combined invariance theories

✍ Scribed by R. Mirman

Publisher
Elsevier Science
Year
1965
Weight
70 KB
Volume
16
Category
Article
ISSN
0031-9163

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A note on Bar Induction in Constructive
A note on Bar Induction in Constructive Set Theory
✍ Michael Rathjen πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 113 KB πŸ‘ 1 views

## Abstract Bar Induction occupies a central place in Brouwerian mathematics. This note is concerned with the strength of Bar Induction on the basis of Constructive Zermelo‐Fraenkel Set Theory, CZF. It is shown that CZF augmented by decidable Bar Induction proves the 1‐consistency of CZF. This answ

A new combination function in evidence t
A new combination function in evidence theory
✍ VicenΓ§ Torra πŸ“‚ Article πŸ“… 1995 πŸ› John Wiley and Sons 🌐 English βš– 596 KB

This article studies the combination of basic probability assignment (bpa) in evidence theory. After introducing an interpretation of the mass function we show that given two bpa Dempster's rule of combination does not build a coherent bpa with respect to the interpretation. Next we give a new combi