Complex valued probability logics
We present two complex valued probabilistic logics, LCOMPB and LCOMPS, which extend classical propositional logic. In LCOMPB one can express formulas of the form Bz,?? meaning that the probability of ? is in the complex ball with the center z and the radius ?, while in LCOMPS one can make statements...
Gespeichert in:
| Veröffentlicht in: | Publications de l'Institut mathématique (Belgrade) 2014, Vol.95 (109), p.73-86 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | eng |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | We present two complex valued probabilistic logics, LCOMPB and LCOMPS, which
extend classical propositional logic. In LCOMPB one can express formulas of
the form Bz,?? meaning that the probability of ? is in the complex ball with
the center z and the radius ?, while in LCOMPS one can make statements of
the form Sz,?? with the intended meaning - the probability of propositional
formula ? is in the complex square with the center z and the side 2?. The
corresponding strongly complete axiom systems are provided. Decidability of
the logics are proved by reducing the satisfiability problem for LCOMPB
(LCOMPS) to the problem of solving systems of quadratic (linear)
inequalities.
nema |
|---|---|
| ISSN: | 0350-1302 1820-7405 |
| DOI: | 10.2298/PIM1409073I |