Skip navigation
Skip navigation

Absolute Probability Functions for Intuitionistic Propositional Logic

Roeper, Peter; LeBlanc, B P

Description

Provided here is a characterisation of absolute probability functions for intuitionistic (propositional) logic L, i.e. a set of constraints on the unary functions P from the statements of L to the reals, which insures that (i) if a statement A of L is provable in L, then P(A) = 1 for every P, L's axiomatisation being thus sound in the probabilistic sense, and (ii) if P(A) = 1 for every P, then A is provable in L, L's axiomatisation being thus complete in the probabilistic sense. As there are...[Show more]

CollectionsANU Research Publications
Date published: 1999
Type: Journal article
URI: http://hdl.handle.net/1885/92066
Source: Journal of Philosophical Logic

Download

File Description SizeFormat Image
01_Roeper_Absolute_Probability_Functions_1999.pdf76.73 kBAdobe PDF    Request a copy


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

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator