DocumentCode
3267441
Title
Many valued probability theory
Author
Morgan, Charles G.
Author_Institution
Philos. Dept., Victoria Univ., BC, Canada
fYear
2004
fDate
19-22 May 2004
Firstpage
294
Lastpage
299
Abstract
The apparent conflict between many valued logic and probability theory is resolved if we treat the probability of a sentence as the probability that the sentence has some specified truth value. The classical probability of a sentence is the probability that the sentence is classically true. In an analogous way, we develop a class of probability theories appropriate for any finite valued logics; the probability of a sentence is interpreted as the probability that the sentence takes some value in a specified subset of the semantic range. We show that for any finite valued logic, there is an appropriate many valued probability theory providing a characteristic probabilistic semantics for which the logic is both sound and complete.
Keywords
multivalued logic; probability; semantic networks; finite valued logics; many valued logic; many valued probability theory; probabilistic semantics; semantic range subset; semantically compositional logic; sentence specified truth value probability; Cost accounting; Frequency; Heart; Multivalued logic; Probabilistic logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 2004. Proceedings. 34th International Symposium on
ISSN
0195-623X
Print_ISBN
0-7695-2130-4
Type
conf
DOI
10.1109/ISMVL.2004.1319958
Filename
1319958
Link To Document