еНаука - преглед
Преглед према Аутор Došen, Kosta
Приказ резултата 1 до 20 од 229
следеће >
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2003 | A Brauerian representation of split preorders | Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
1992 | A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS | Došen, Kosta | Научни чланак | Мп категорија ће бити приказана накнадно. |
1985 | A Completeness Theorem for the Lambek Calculus of Syntactic Categories | Došen, Kosta | Научни чланак | Мп категорија ће бити приказана накнадно. |
1994 | A historical introduction to substructural logics | Došen, Kosta | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
2006 | A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebras | Došen, Kosta ; Kovijanić, Žana; Petrić, Zoran | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
1987 | A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic | Došen, Kosta | Научни чланак | Мп категорија ће бити приказана накнадно. |
1978 | A note on the law of identity and the converse parry property | Došen, Kosta | Научни чланак | Мп категорија ће бити приказана накнадно. |
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 - Рад у истакнутом међ. часопису |
2010 | A prologue to the theory of deduction | Došen, Kosta | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
2010 | A prologue to the theory of deduction | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
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 | Научни чланак | Мп категорија ће бити приказана накнадно. |
1981 | A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic | Došen, Kosta | Научни чланак | Мп категорија ће бити приказана накнадно. |
2017 | Abbrev.[iated] editorial introduction | Adžić, Miloš R. ; Došen, Kosta M. | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
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 | Конференцијски рад | Мп категорија ће бити приказана накнадно. |