Претрага




Резултати

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

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

Pech, Christian; Pech, Maja  

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

Ilić, Mirjana  

The Logic ILP for Intuitionistic Reasoning About Probability   [2023]

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

Sequent-systems and groupoid models. I   [1988]

Došen, Kosta  

Bicartesian coherence   [2002]

Došen, Kosta  ; Petrić, Zoran  

Sequent-system and groupoid models. II   [1989]

Došen, Kosta  

The Elimination of Maximum Cuts in Linear Logic and BCK Logic   [2022]

Borisavljevic, Mirjana P  

Sequent-system and groupoid models. I   [1988]

Došen, Kosta  

Filteri

Po tipu