HIGHLIGHTS
- who: Stefano Baratella from the (UNIVERSITY) have published the research: An infinitary propositional probability logic, in the Journal: (JOURNAL)
- what: In the first part of this work the authors provide a different and, in the opinion , simpler proof of a completeness result originally proved. The authors investigate model-theoretic properties of the proposed logic. The authors focus almost exclusively on the algebraic/probabilistic content of type structures. Rather, the authors aim at an intuitive set of axioms.
- how: The authors begin the second part of this work with some comments on the above . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.