A p-adic probability logic
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.
- p-adic discrete dynamical systems and collective behaviour of information states in cognitive models
- \(p\)-adic probability interpretation of Bell's inequality
- A completeness proof for adapted probability logic
- A logic for reasoning about probabilities
- A logic with approximate conditional probabilities that can model default reasoning
- A logic with higher order conditional probabilities
- A probabilistic extension of intuitionistic logic
- A propositional p-adic probability logic
- Completeness theorem for a logic with imprecise and conditional probabilities
- Concerning measures in first order calculi
- scientific article; zbMATH DE number 3880972 (Why is no real title available?)
- scientific article; zbMATH DE number 1199695 (Why is no real title available?)
- scientific article; zbMATH DE number 1014107 (Why is no real title available?)
- scientific article; zbMATH DE number 1904893 (Why is no real title available?)
- scientific article; zbMATH DE number 3433221 (Why is no real title available?)
- Hyperfinite models of adapted probability logic
- Interpretations of Probability
- Mathematical methods of non-Archimedean physics
- Probabilistic logic
- Proof systems for probabilistic uncertain reasoning
- Representation of a quantum field Hamiltonian in p-adic Hilbert space
- Representations of the Weyl group in spaces of square integrable functions with respect top-adic valued Gaussian distributions
- Some considerations on the logics PFD A logic combining modality and probability
- Some first-order probability logics
- The Blackwell guide to philosophical logic
- The non-Archimedean Laplace transform
- The Uncertain Reasoner's Companion
- THE WAVE FUNCTION OF THE UNIVERSE AND p-ADIC GRAVITY
- Uncertain Inference
- What does a conditional knowledge base entail?
- Completeness theorems for \(\sigma \)-additive probabilistic semantics
- Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers
- A propositional p-adic probability logic
- \(p\)-adic probability logics
- \(p\)-adic valued logical calculi in simulations of the slime mould behaviour
- Conditional \(p\)-adic probability logic
- Adelic uncertainty logic
- Logics with Probability Operators
- Formalization of Probabilities with Non-linearly Ordered Ranges
- p-adic multiple-validity and p-adic valued logical calculi
- Logical approach to p-adic probabilities
- Probability Logic for Harsanyi Type Spaces
- Probability logics for reasoning about quantum observations
- Periodic \(p\)-adic Gibbs measures of \(q\)-state Potts model on Cayley trees. I: The chaos implies the vastness of the set of \(p\)-adic Gibbs measures
This page was built for publication: A \(p\)-adic probability logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2910981)
