Probability and natural deduction. - Marija Boricic Joksimovic; Nebojsa Ikodinovic; Nenad Stojanovic (J. Log. Comput., 2025)