|
Zusammenfassung:
|
The interpretation method is a characteristic common for all results from this thesis. The thesis consists of five chapters and two appendices. A brief overview of the contents of the thesis and the obtained results are presented in Chapter 1. Logical background and the well-known notions the basic notions, definitions and properties from forcing are given in the appendices of the thesis. An elementary proof of equivalence between Cohen forcing and forcing with propositional Lindenbaum algebras is presented in Chapter 2. Dense embedding and the interpretation method are used in that proof. A complete axiomatization of the notion of qualitative probability is presented in Chapter 3. Probabilistic logic LPP_2 LPP_2^FR(n) and LPP^S are extended with the qualitative probability operator π. Several formal techniques as infinite rules, elimination of quantifiers and interpretation method (implicitly), are used to prove the extended completeness theorem and decidability for these logics. In Chapter 4 of the thesis a complete axiomatization of the logic with polynomial weight formulas is presented and the extended completeness theorem is proved. Applications of the interpretation method are given. By using that method the compactness theorem for the non-archimedean valued probabilistic logics is proved in Chapter 5. |