Pretraga
Rezultati
Probabilistic Logics with Independence and Confirmation [2017]
Doder, Dragan
; Ognjanović, Zoran 
Sequent-systems and groupoid models. II [1989]
Došen, Kosta
Coherence in substructural categories [2002]
Petrić, Zoran
Models for stronger normal intuitionistic modal logics [1985]
Došen, Kosta
The Logic ILP for Intuitionistic Reasoning About Probability [2023]
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar
The Elimination of Maximum Cuts in Linear Logic and BCK Logic
[2022]
Borisavljevic, Mirjana P
Godel on Deduction [2019]
Dosen, Kosta; Adžić, Miloš
Bicartesian coherence [2002]
Došen, Kosta ; Petrić, Zoran
Sequent-systems and groupoid models. I [1988]
Došen, Kosta
Sequent-system and groupoid models. II [1989]
Došen, Kosta
Filteri
Po tipu
- 21