Logics to formalise p-adic valued probability and their applications

Abstract

In this paper, we focus on the main results which we have developed to obtain different propositional logics for reasoning about p-adic valued probabilities. Each of these logics is a sound, complete, and decidable extension of classical propositional logic. Also, we show some applications of these logics in modelling cognitions.

Keywords:

• p-adic probability
• conditional probability
• p-adic distances
• p-adic coding
• default reasoning
• p-adic probability logics

Notes

No potential conflict of interest was reported by the authors.

Additional information

Funding

This work was supported by Serbian Ministry of education and science through the [grant number III044006], [grant number ON174026].