(1) Prirodno-matematiki fakultet, R. Domanovi a, 12, 34000 Kragujevac, Yugoslavia;(2) Uiteljski fakultet, Narodnog fronta 43, 11000 Beograd, Yugoslavia;(3) Matematiki institut, Kneza Mihaila 35, 11000 Beograd, Yugoslavia
Abstract:
A propositional logic is defined which in addition to propositional language contains a list of probabilistic operators of the form Ps (with the intended meaning the probability is at least s). The axioms and rules syntactically determine that ranges of probabilities in the corresponding models are always finite. The completeness theorem is proved. It is shown that completeness cannot be generalized to arbitrary theories.This research was supported by Ministarstvo za nauku, tehnologije i razvoj Republike Srbije, through Matematiki institut, under grant 1379Mathematics Subject Classification (2000): 03C70, 03B48