Intuitionistic propositional probability logic

descriptionPublicationkeyboard_double_arrow_right Article 29 Aug 2022 Serbia English Publisher:WileyJournal:Mathematical Logic Quarterly, volume 68, pages 479-495 (issn: 0942-5616, eissn: 1521-3870,

Copyright policy )

Authors: Angelina Ilic-Stepic; Mateja Knezevic; Zoran Ognjanovic;

doi: 10.1002/malq.202100052

Intuitionistic propositional probability logic

- Summary
- Subjects
- Metrics

Abstract

AbstractWe 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.

Country

Serbia

Related Organizations

University of Belgrade
Serbia
University of Belgrade, Faculty of Civil Engineering
Serbia

Keywords

completeness, decidability, intuitionistic logic, Subsystems of classical logic (including intuitionistic logic), Probability and inductive logic, probability extensions

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average