Browsing eNauka
Browsing by Author Došen, Kosta
Showing results 1 to 20 of 229
next >
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2003 | A Brauerian representation of split preorders | Došen, Kosta   ; Petrić, Zoran | Article | 22M22 |
| 1992 | A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS | Došen, Kosta | Article | Mp. category will be shown later |
| 1985 | A Completeness Theorem for the Lambek Calculus of Syntactic Categories | Došen, Kosta | Article | Mp. category will be shown later |
| 1994 | A historical introduction to substructural logics | Došen, Kosta | Book parts | Mp. category will be shown later |
| 2006 | A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebras | Došen, Kosta ; Kovijanić, Žana; Petrić, Zoran | Article | 22M22 |
| 1987 | A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic | Došen, Kosta | Article | Mp. category will be shown later |
| 1978 | A note on the law of identity and the converse parry property | Došen, Kosta | Article | Mp. category will be shown later |
| 2001 | A note on the set-theoretic representation of arbitrary lattices | Došen, Kosta | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2015 | A planarity criterion for graphs | Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2010 | A prologue to the theory of deduction | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | A prologue to the theory of deduction | Došen, Kosta | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 1984 | A puzzle about logical equivalence | Došen, Kosta | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1981 | A reduction of classical propositional logic to the conjuction-negation fragment of an intuitionistic relevant logic | Došen, Kosta | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1981 | A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic | Došen, Kosta | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2017 | Abbrev.[iated] editorial introduction | Adžić, Miloš R. ; Došen, Kosta M. | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 1991 | Abrusci, V.Michele "Sequent calculus for intuitionistic linear propositional logic" - Mathematical logic, 223-242, Plenum, New York, 1990. | Došen, Kosta | Информативни прилог | Мп категорија ће бити приказана накнадно. |
| 2001 | Abstraction and application in adjunction | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1990 | Addenda and corrigenda to "Sequent-system and groupoid models" | Došen, Kosta | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1998 | Addenda and corrigenda to an "An introduction to adjunction" | Došen, Kosta | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2015 | Adjunction and Normalization in Categories of Logic | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |