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 2-category | Associahedron | Bicategory | Cat-operad | Coherence | Hemiassociahedron | Multicategory | Nominal arity | Non-symmetric operad | Operad | Permutohedron | Symmetric groups | Weak Cat-operad
- 1 Associativity | Binomial coefficients | Coherence | Commutativity | Mac Lane's hexagon | Mac Lane's pentagon | Monoidal categories | Symmetric groups | Symmetric monoidal categories | Yang-Baxter equation
- 1 Bialgebra | Comonad | Frobenius algebra | Monad | Normal form | Split preorder
- 1 Brauer algebras | Categories of proofs | Digraphs | Identity criteria for proofs | Representation
- 1 Categorial coherence | Cut elimination | Star-autonomous categories | Symmetric monoidal closed categories
- 1 Classical linear logic | Coherence | Criteria of identity for proofs | Cut elimination | First-order predicate logic | Proof-net category
- 1 Cocycle | Kuratowski's graphs | Planar graph
- 1 Coherence | Insertion | Mac Lane's hexagon | Mac Lane's pentagon | Monoidal categories | Symmetric monoidal categories
- 1 Concept | Deduction | Extension | General proof theory | Intension | Proof-theoretic semantics | Sequent | Set
- 1 Deduction | General proof theory | Natural deduction | Propositional logic | Sequent
- next >
Date issued
Type
- 21 Article
Results 1-20 of 21 (Search time: 0.003 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 1 | Došen, Kosta ; Adžić, Miloš | Gödel on Deduction | 15-Feb-2019 | Studia Logica; 107(1); 31-51 | M22 |
| 2 | Došen, Kosta ; Adžić, Miloš | Gödel’s Natural Deduction | 1-Apr-2018 | Studia Logica; 106(2); 397-415 | M22 |
| 3 | Došen, Kosta ; Petrić, Zoran | Weak cat-operads | 25-Mar-2015 | Logical Methods in Computer Science; 11(1) | M22 |
| 4 | Došen, Kosta ; Petrić, Zoran | A planarity criterion for graphs | 1-Jan-2015 | SIAM Journal on Discrete Mathematics; 29(4); 2160-2165 | M22 |
| 5 | Došen, Kosta ; Petrić, Zoran | Ordinals in Frobenius monads | 1-Apr-2013 | Journal of Pure and Applied Algebra; 217(4); 763-778 | M22 |
| 6 | Došen, Kosta ; Petrić, Zoran | Syntax for split preorders | 1-Apr-2013 | Annals of Pure and Applied Logic; 164(4); 443-481 | M22 |
| 7 | Došen, Kosta ; Petrić, Zoran | Shuffles and concatenations in the construction of graphs | 1-Dec-2012 | Mathematical Structures in Computer Science; 22(6); 904-930 | M22 |
| 8 | Došen, Kosta ; Petrić, Zoran | Coherence for modalities | 1-Jul-2011 | Journal of Pure and Applied Algebra; 215(7); 1606-1628 | M22 |
| 9 | Došen, Kosta ; Petrić, Zoran | Coherence in linear predicate logic | 1-Mar-2009 | Annals of Pure and Applied Logic; 158(1-2); 125-153 | M22 |
| 10 | Došen, Kosta ; Petrić, Zoran | Medial commutativity | 1-May-2007 | Annals of Pure and Applied Logic; 146(2-3); 237-255 | M22 |
| 11 | Došen, Kosta ; Petrić, Zoran | Associativity as commutativity | 1-Jan-2006 | Journal of Symbolic Logic; 71(1); 217-226 | M22 |
| 12 | Došen, Kosta ; Petrić, Zoran | Coherence for star-autonomous categories | 1-Jan-2006 | Annals of Pure and Applied Logic; 141(1-2); 225-242 | M22 |
| 13 | Došen, Kosta | Models of deduction | 1-Jan-2006 | Synthese; 148(3); 639-657 | M22 |
| 14 | Došen, Kosta ; Petrić, Zoran | A Brauerian representation of split preorders | 24-Nov-2003 | Mathematical Logic Quarterly; 49(6); 579-586 | M22 |
| 15 | Došen, Kosta ; Petrić, Zoran | Self-adjunctions and matrices | 1-Oct-2003 | Journal of Pure and Applied Algebra; 184(1); 7-39 | M22 |
| 16 | Došen, Kosta ; Petrić, Zoran | Generality of proofs and its brauerian representation | 1-Jan-2003 | Journal of Symbolic Logic; 68(3); 740-750 | M22 |
| 17 | Borisavljević, Mirjana; Došen, Kosta ; Petrić, Zoran | Kauffman monoids | 26-Aug-2002 | Journal of Knot Theory and its Ramifications; 11(2); 127-143 | M22 |
| 18 | Došen, Kosta ; Petrić, Zoran | Cartesian isomorphisms are symmetric monoidal: A justification of linear logic | 1-Jan-1999 | Journal of Symbolic Logic; 64(1); 227-242 | M22 |
| 19 | Došen, Kosta | Functions redefined | 1-Jan-1998 | American Mathematical Monthly; 105(7); 631-635 | M22 |
| 20 | Došen, Kosta ; Petrić, Zoran | Isomorphic objects in symmetric monoidal closed categoriest | 1-Jan-1997 | Mathematical Structures in Computer Science; 7(6); 639-662 | M22 |
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 |