Pretraga
Rezultati
Probabilistic Logics with Independence and Confirmation [2017]
Doder, DraganSequent-systems and groupoid models. II [1989]
Došen, KostaCoherence in substructural categories [2002]
Petrić, ZoranModels for stronger normal intuitionistic modal logics [1985]
Došen, KostaThe Logic ILP for Intuitionistic Reasoning About Probability [2023]
Ilić Stepić, AngelinaThe 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, KostaSequent-systems and groupoid models. I [1988]
Došen, KostaSequent-system and groupoid models. II [1989]
Došen, KostaFilteri
Po tipu
- 21