Search
Research outputs
A Probabilistic Logic Between LPP1 and LPP2
[2022]
Dautović, Šejla 
Probability Logics for Reasoning About Quantum Observations
[2023]
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar
Maximum Segments as Natural Deduction Images of Some Cuts
[2022]
Borisavljevic, Mirjana P
Филтери
По типу
- 3