Pretraga
Rezultati
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
Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers [2015]
Ilić-Stepić, Angelina ; Ognjanović, Zoran
Godel's Natural Deduction [2018]
Dosen, Kosta; Adžić, Miloš
Reconstructing the Topology of the Elementary Self-embedding Monoids of Countable Saturated Structures [2018]
Pech, Christian; Pech, Maja
Sequent-system and groupoid models. I [1988]
Došen, Kosta
A note on sequent calculi intermediate between LJ and LK
[1988]
Boričić, Branislav
A Cut-Elimination Proof in Positive Relevant Logic with Necessity
[2021]
Ilić, Mirjana
Models for normal intuitionistic modal logics [1983]
Došen, Kosta ; Božić, Milan
The Elimination of Maximum Cuts in Linear Logic and BCK Logic
[2022]
Borisavljevic, Mirjana P
Филтери
По типу
- 21