PhilSci Archive

Probability and symmetric logic

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

WarningThere is a more recent version of this item available.
[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: 09 May 2022 22:48
Last Modified: 09 May 2022 22:48
Item ID: 20573
Subjects: Specific Sciences > Mathematics > Logic
Specific Sciences > Probability/Statistics
Date: 8 May 2022
URI: http://philsci-archive.pitt.edu/id/eprint/20573

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