GraFar - Repository of the Faculty of Civil Engineering
Faculty of Civil Engineering of the University of Belgrade
    • English
    • Српски
    • Српски (Serbia)
  • English 
    • English
    • Serbian (Cyrillic)
    • Serbian (Latin)
  • Login
View Item 
  •   GraFar
  • GraFar
  • Radovi istraživača / Researcher's publications
  • View Item
  •   GraFar
  • GraFar
  • Radovi istraživača / Researcher's publications
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Intuitionistic Propositional Probability Logic

Authorized Users Only
2022
Authors
Ilić-Stepić, Angelina
Knežević, Mateja
Ognjanović, Zoran
Article (Published version)
Metadata
Show full item record
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.
Keywords:
intuitionistic logic / probability extensions / completeness / decidability
Source:
Mathematical Logic Quarterly, 2022, 68

DOI: 10.1002/malq.202100052

ISSN: 0942-5616

[ Google Scholar ]
URI
https://grafar.grf.bg.ac.rs/handle/123456789/2961
Collections
  • Radovi istraživača / Researcher's publications
  • Катедра за математику, физику и нацртну геометрију
Institution/Community
GraFar
TY  - 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 . .

DSpace software copyright © 2002-2015  DuraSpace
About the GraFar Repository | Send Feedback

OpenAIRERCUB
 

 

All of DSpaceCommunitiesAuthorsTitlesSubjectsThis institutionAuthorsTitlesSubjects

Statistics

View Usage Statistics

DSpace software copyright © 2002-2015  DuraSpace
About the GraFar Repository | Send Feedback

OpenAIRERCUB