Search




Research outputs

On some interpretations of classical logic   [1992]

Boričić, Branislav  

Towards a Ryll-Nardzewski-type theorem for weakly oligomorphic structures   [2016]

Pech, Christian; Pech, Maja  

A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic   [1987]

Došen, Kosta  

Unsupported Boolean algebras and forcing   [2004]

Kurilic, Milos S

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  

A Brauerian representation of split preorders   [2003]

Došen, Kosta  ; Petrić, Zoran  

A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS   [1992]

Došen, Kosta  

More about divisibility in βN   [2021]

Šobot Boris  

Intuitionistic Propositional Probability Logic   [2022]

Ilić-Stepić, Angelina  ; Knežević, Mateja ; Ognjanović, Zoran  

Filteri

Po tipu