Došen, Kosta
Loading...
3
0
20
0
false
Full Name
Došen, Kosta
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Results 1-6 of 6 (Search time: 0.002 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 1 | Došen, Kosta | One more reference on self-reference | 1-Dec-1992 | The Mathematical Intelligencer; 14(4); 4-5 | M22 |
| 2 | Došen, Kosta | The first axiomatization of relevant logic | 1-Nov-1992 | Journal of Philosophical Logic; 21(4); 339-356 | |
| 3 | Došen, Kosta | Modal logic as metalogic | 1-Sep-1992 | Journal of Logic, Language and Information; 1(3); 173-201 | |
| 4 | Došen, Kosta | Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic | 3-Aug-1992 | Theoretical Computer Science; 102(1); 207-214 | M23 |
| 5 | Došen, Kosta | Modal translations in substructural logics | 1-Aug-1992 | Journal of Philosophical Logic; 21(3); 283-336 | |
| 6 | Došen, Kosta | A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS | 1-Jan-1992 | Mathematical Logic Quarterly; 38(1); 179-187 |
Results 1-1 of 1 (Search time: 0.0 seconds).
| Acronym | Title | Start date | Completion | P-Investigator |
|---|---|---|---|---|
| PROJECT 1630 | Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics | 01-01-2002 | 31-12-2005 | Došen, Kosta |