PhilSci Archive

Probability and symmetric logic

Gil Sanchez, Michał and Gyenis, Zalán and Wronski, Leszek (2022) Probability and symmetric logic. [Preprint]

This is the latest version of this item.

[img]
Preview
Text
final.pdf

Download (207kB) | Preview

Abstract

In this paper we study the interaction between symmetric logic and probability. In particular, we axiomatize the convex hull of the set of evaluations of symmetric logic, yielding the notion of probability in symmetric logic. This answers an open problem of (Williams 2016) and (Paris 2005).


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Gil Sanchez, Michałmichal.gil_sanchez@doctoral.uj.edu.pl
Gyenis, Zalánzalan.gyenis@uj.edu.pl
Wronski, Leszekleszek.wronski@uj.edu.pl
Keywords: Symmetric logic, Kleene algebra, Belief functions
Subjects: Specific Sciences > Mathematics > Logic
Specific Sciences > Probability/Statistics
Depositing User: Zalán Gyenis
Date Deposited: 11 May 2022 15:03
Last Modified: 11 May 2022 15:03
Item ID: 20579
Subjects: Specific Sciences > Mathematics > Logic
Specific Sciences > Probability/Statistics
Date: 8 May 2022
URI: https://philsci-archive-dev.library.pitt.edu/id/eprint/20579

Available Versions of this Item

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item