p-Adic probability logics
This paper represents an comprehensive overview of the results from three papers where we developed several propositional logics for reasoning about p -adic valued probability.Each of these logics is a sound, complete and decidable extension of classical propositional logic.
Gespeichert in:
Veröffentlicht in: | P-adic numbers, ultrametric analysis, and applications ultrametric analysis, and applications, 2016-07, Vol.8 (3), p.177-203 |
---|---|
Hauptverfasser: | , , , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | This paper represents an comprehensive overview of the results from three papers where we developed several propositional logics for reasoning about
p
-adic valued probability.Each of these logics is a sound, complete and decidable extension of classical propositional logic. |
---|---|
ISSN: | 2070-0466 2070-0474 |
DOI: | 10.1134/S2070046616030018 |