Претрага
Резултати
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
Филтери
По типу
- 21