Претрага
Резултати
Intuitionistic Propositional Probability Logic
[2022]
Ilić-Stepić, Angelina 
; Knežević, Mateja ; Ognjanović, Zoran
Isomorphic formulae in classical propositional logic [2012]
Došen, Kosta ; Petrić, Zoran
An alternative Gentzenisation of RW+∘ [2016]
Ilić, Mirjana
Conjectures of Rado and Chang and special Aronszajn trees [2012]
V Torres-Perez; Todorčević, Stevo
On definability of types of finite Cantor-Bendixson rank [2011]
Tanović, Predrag
Simple characterization of functionally complete one-element sets of propositional connectives
[2006]
Maksimović, Petar; Janičić, Predrag
Semigroups with apartness
[2013]
Crvenković, Siniša ; Mitrović, Melanija ; Romano, Daniel Abraham
Barwise Completeness Theorems for Some Biprobability Logics [1986]
Rašković, Miodrag; Živaljević, Rade
A probabilistic extension of intuitionistic logic [2003]
Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag
Biprobability logic with conditional expectation
[2011]
Ristić, Vladimir ; Đorđević, Radosav; Ikodinović, Nebojša
Филтери
По типу
- 26