A \(p\)-adic probability logic (Q2910981)

In this paper a propositional logic \(\mathcal L_{\mathbb Q_p}\) is introduced which is a generalization of Khrennikov's \(p\)-adic probability theory. It is shown that \(\mathcal L_{\mathbb Q_p}\) is sound and complete with respect to appropriate notions.NEWLINENEWLINE The first sections give background and motivation.NEWLINENEWLINE Thereafter, the main notions, such as \(\mathcal L_{\mathbb Q_p}\)-model and the satisfiability relation, are introduced.NEWLINENEWLINE The main content of Section three are five axioms and six inference rules, and a short discussion of these axioms and rules is given. In the next section, soundness and strong completeness of \(\mathcal L_{\mathbb Q_p}\) with respect to these axioms and rules are shown.NEWLINENEWLINE Section five contains decidability considerations. In the sixth and final section, the authors give their conclusions.