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
Subject
- 1 Deduction | General proof theory | Natural deduction | Propositional logic | Sequent
- 1 Diagonal natural transformation | Intuitionistic relevant logic | Partial functions | Pointed sets | Symmetric monoidal closed categories
- 1 Kripke models | Lambek calculus | Linear logic | Relevant logic
- 1 Linear independence | Matrices | Representation | Temperley-Lieb algebras
- 1 Multiple-conclusion sequent | Oriented graph | Planarity | Plural cut | Plural sequent | Polycategory
- < previous
Date issued
- 16 2010 - 2019
- 21 2000 - 2009
- 13 1990 - 1999
- 10 1980 - 1989
- 1 1975 - 1979
Type
- 61 Article
Results 61-61 of 61 (Search time: 0.001 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 61 | Došen, Kosta | A note on the law of identity and the converse parry property | 1-Jan-1978 | Notre Dame Journal of Formal Logic; 19(1); 174-176 |
Results 1-1 of 1 (Search time: 0.001 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 |