Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/34
Title: | Conditional p-adic probability logic | Authors: | Ilić-Stepić, Angelina Ognjanović, Zoran Ikodinović, Nebojša |
Affiliations: | Algebra and Mathematical Logic | Keywords: | Conditional probability;p-Adic | Issue Date: | 1-Dec-2014 | Journal: | International Journal of Approximate Reasoning | Abstract: | In this paper we present the proof-theoretical approach to p-adic valued conditional probabilistic logics. We introduce two such logics denoted by CPLZp and CPLQpfin. Each of these logics extends classical propositional logic with a list of binary (conditional probability) operators. Formulas are interpreted in Kripke-like models that are based on p-adic probability spaces. Axiomatic systems with infinitary rules of inference are given and proved to be sound and strongly complete. The decidability of the satisfiability problem for each logic is proved. |
URI: | https://research.matf.bg.ac.rs/handle/123456789/34 | ISSN: | 0888613X | DOI: | 10.1016/j.ijar.2014.02.001 |
Appears in Collections: | Research outputs |
Show full item record
SCOPUSTM
Citations
13
checked on Dec 20, 2024
Page view(s)
24
checked on Dec 24, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.