Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/37
Title: | A p-adic probability logic | Authors: | Ilić-Stepić, Angelina Ognjanović, Zoran Ikodinović, Nebojša Perović, Aleksandar |
Affiliations: | Algebra and Mathematical Logic | Keywords: | p-adic numbers;Probability logic | Issue Date: | 1-Aug-2012 | Journal: | Mathematical Logic Quarterly | Abstract: | In this article we present a p-adic valued probabilistic logic which is a complete and decidable extension of classical propositional logic. The key feature of lies in ability to formally express boundaries of probability values of classical formulas in the field of p-adic numbers via classical connectives and modal-like operators of the form K r, ρ. Namely, is designed in such a way that the elementary probability sentences K r, ρα actually do have their intended meaning-the probability of propositional formula α is in the -ball with the center r and the radius ρ. Due to modal nature of the operators K r, ρ, it was natural to use the probability Kripke like models as structures, provided that probability functions range over instead of or. © 2012 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. |
URI: | https://research.matf.bg.ac.rs/handle/123456789/37 | ISSN: | 09425616 | DOI: | 10.1002/malq.201110006 |
Appears in Collections: | Research outputs |
Show full item record
SCOPUSTM
Citations
14
checked on Mar 27, 2025
Page view(s)
15
checked on Jan 19, 2025
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.