Intuitionistic Propositional Probability Logic
Само за регистроване кориснике
2022
Чланак у часопису (Објављена верзија)
Метаподаци
Приказ свих података о документуАпстракт
We give sound and complete axiomatization of a probabilistic extension of intuitionistic logic. Reasoning with probability operators, unlike other works on this topic, is also intuitionistic, that is, measure functions used for modeling probability operators are partial functions. Finally, we present a decision procedure for our logic which is a combination of linear programming and an intuitionistic tableaux method.
Кључне речи:
intuitionistic logic / probability extensions / completeness / decidabilityИзвор:
Mathematical Logic Quarterly, 2022, 68Колекције
Институција/група
GraFarTY - JOUR AU - Ilić-Stepić, Angelina AU - Knežević, Mateja AU - Ognjanović, Zoran PY - 2022 UR - https://grafar.grf.bg.ac.rs/handle/123456789/2961 AB - We give sound and complete axiomatization of a probabilistic extension of intuitionistic logic. Reasoning with probability operators, unlike other works on this topic, is also intuitionistic, that is, measure functions used for modeling probability operators are partial functions. Finally, we present a decision procedure for our logic which is a combination of linear programming and an intuitionistic tableaux method. T2 - Mathematical Logic Quarterly T1 - Intuitionistic Propositional Probability Logic VL - 68 DO - 10.1002/malq.202100052 ER -
@article{ author = "Ilić-Stepić, Angelina and Knežević, Mateja and Ognjanović, Zoran", year = "2022", abstract = "We give sound and complete axiomatization of a probabilistic extension of intuitionistic logic. Reasoning with probability operators, unlike other works on this topic, is also intuitionistic, that is, measure functions used for modeling probability operators are partial functions. Finally, we present a decision procedure for our logic which is a combination of linear programming and an intuitionistic tableaux method.", journal = "Mathematical Logic Quarterly", title = "Intuitionistic Propositional Probability Logic", volume = "68", doi = "10.1002/malq.202100052" }
Ilić-Stepić, A., Knežević, M.,& Ognjanović, Z.. (2022). Intuitionistic Propositional Probability Logic. in Mathematical Logic Quarterly, 68. https://doi.org/10.1002/malq.202100052
Ilić-Stepić A, Knežević M, Ognjanović Z. Intuitionistic Propositional Probability Logic. in Mathematical Logic Quarterly. 2022;68. doi:10.1002/malq.202100052 .
Ilić-Stepić, Angelina, Knežević, Mateja, Ognjanović, Zoran, "Intuitionistic Propositional Probability Logic" in Mathematical Logic Quarterly, 68 (2022), https://doi.org/10.1002/malq.202100052 . .