Authors: Ilić Stepić, Angelina 
Knežević, Mateja
Ognjanović, Zoran 
Affiliations: Mathematics 
Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: Intuitionistic propositional probability logic
Journal: Mathematical Logic Quarterly
Issue Date: 29-Aug-2022
Rank: M23
ISSN: 0942-5616
DOI: 10.1002/malq.202100052
We give a sound and complete axiomatization of a probabilistic extension of intuitionistic logic. Reasoning with probability operators is also intuitionistic (in contradistinction to other works on this topic), i.e., 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.
Publisher: Wiley

Show full item record

Page view(s)

checked on May 9, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.