In this paper, we introduce a probabilistic justification logic PJ, a logic in which we can reason about the probability of justification statements. We present its syntax and semantics, and establish a strong completeness theorem. Moreover, we investigate the relationship between PJ and the logic of uncertain justifications.
We describe an ongoing project carried out by the Mathematical Institute of Serbian Academy of Sciences and Arts, and the Faculty of Mathematics, Belgrade. The project concerns building of electronic resources and presentations of electronic editions of mathematical works in Serbia, including retro-digitization of old books, articles and the other… (More)