Pretraga




Rezultati

Godel's Natural Deduction   [2018]

Dosen, Kosta; Adžić, Miloš  

Godel on Deduction   [2019]

Dosen, Kosta; Adžić, Miloš  

Models for normal intuitionistic modal logics   [1984]

Božić, Milan; Došen, Kosta  

Duality between modal algebras and neighbourhood frames   [1989]

Došen, Kosta  

An Alternative Normalization of the Implicative Fragment of Classical Logic   [2014]

Boričić, Branislav  ; Ilić, Mirjana  

Addenda and corrigenda to "Sequent-system and groupoid models"   [1990]

Došen, Kosta  

Sequent-system and groupoid models. I   [1988]

Došen, Kosta  

Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers   [2015]

Ilić-Stepić, Angelina  ; Ognjanović, Zoran  

Bicartesian coherence   [2002]

Došen, Kosta  ; Petrić, Zoran  

Sequent-systems and groupoid models. I   [1988]

Došen, Kosta  

Filteri

Po tipu