Absolute Probability Functions for Intuitionistic Propositional Logic

dc.contributor.authorRoeper, Peter
dc.contributor.authorLeBlanc, B P
dc.date.accessioned2015-12-13T23:24:06Z
dc.date.issued1999
dc.date.updated2015-12-12T09:19:09Z
dc.description.abstractProvided 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 theorems of classical (propositional) logic that are not intuitionistic ones, there are unary probability functions for intuitionistic logic that are not classical ones. Provided here because of this is a means of singling out the classical probability functions from among the intuitionistic ones.
dc.identifier.issn0022-3611
dc.identifier.urihttp://hdl.handle.net/1885/92066
dc.publisherKluwer Academic Publishers
dc.sourceJournal of Philosophical Logic
dc.subjectKeywords: Intuitionistic logic; Probability functions; Probability semantics
dc.titleAbsolute Probability Functions for Intuitionistic Propositional Logic
dc.typeJournal article
local.bibliographicCitation.lastpage234
local.bibliographicCitation.startpage223
local.contributor.affiliationRoeper, Peter, College of Arts and Social Sciences, ANU
local.contributor.affiliationLeBlanc, B P, Princeton University
local.contributor.authoremailu7100415@anu.edu.au
local.contributor.authoruidRoeper, Peter, u7100415
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor220308 - Logic
local.identifier.ariespublicationMigratedxPub23041
local.identifier.citationvolume28
local.identifier.scopusID2-s2.0-53149137861
local.identifier.uidSubmittedByMigrated
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
01_Roeper_Absolute_Probability_Functions_1999.pdf
Size:
76.73 KB
Format:
Adobe Portable Document Format
Back to topicon-arrow-up-solid
 
APRU
IARU
 
edX
Group of Eight Member

Acknowledgement of Country

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.


Contact ANUCopyrightDisclaimerPrivacyFreedom of Information

+61 2 6125 5111 The Australian National University, Canberra

TEQSA Provider ID: PRV12002 (Australian University) CRICOS Provider Code: 00120C ABN: 52 234 063 906