Search




Research outputs

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

Došen, Kosta  

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

Boričić, Branislav  ; Ilić, Mirjana  

A Cut-Elimination Proof in Positive Relevant Logic with Necessity   [2021]

Ilić, Mirjana  

Reconstructing the Topology of the Elementary Self-embedding Monoids of Countable Saturated Structures   [2018]

Pech, Christian; Pech, Maja  

A note on sequent calculi intermediate between LJ and LK   [1988]

Boričić, Branislav  

Models for normal intuitionistic modal logics   [1983]

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

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

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

Sequent-system and groupoid models. I   [1988]

Došen, Kosta  

Godel's Natural Deduction   [2018]

Dosen, Kosta; Adžić, Miloš  

The Logic ILP for Intuitionistic Reasoning About Probability   [2023]

Ilić Stepić, Angelina  ; Ognjanović, Zoran  ; Perović, Aleksandar

Filters

By type