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 Abstract polytope | Associahedron | Cyclohedron | Hypergraph | Permutohedron | Simple polytope | Simplex | Truncation
- 1 adjunction | Brauer's centralizer algebras | matrix representation | symmetric groups
- 1 Adjunction | Categorial coherence | Congruence relation | Equality | Equality of proofs | Equivalence relation | Generality of proofs | Linear logic | Monoidal categories | Preordering relation
- 1 Adjunction | Endomorphisms | Monads | Presentation by generators and relations | Simplicial category | Temperley-Lieb algebras | Triples
- 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 Associativity | Coherence | Commutativity | Iterated monoidal categories | Loop spaces | Monoidal categories | Symmetric monoidal categories
- 1 Bialgebra | Comonad | Frobenius algebra | Monad | Normal form | Split preorder
- 1 Bicartesian categories | Coherence | Decidability of equality of arrows
- 1 Brauer algebras | Categories of proofs | Digraphs | Identity criteria for proofs | Representation
- next >
Date issued
- 19 2010 - 2019
- 24 2000 - 2009
- 13 1990 - 1999
- 11 1980 - 1989
- 1 1973 - 1979
Type
Results 1-20 of 68 (Search time: 0.005 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 | Representing conjunctive deductions by disjunctive deductions | 1-Mar-2017 | Review of Symbolic Logic; 10(1); 145-157 | M21 |
4 | Adžić, Miloš; Došen, Kosta | Gödel's notre dame course | 1-Dec-2016 | Bulletin of Symbolic Logic; 22(4); 469-481 | M21 |
5 | Došen, Kosta ; Petrić, Zoran | Weak cat-operads | 25-Mar-2015 | Logical Methods in Computer Science; 11(1) | M22 |
6 | Došen, Kosta ; Petrić, Zoran | A planarity criterion for graphs | 1-Jan-2015 | SIAM Journal on Discrete Mathematics; 29(4); 2160-2165 | M22 |
7 | Došen, Kosta | Inferential Semantics | 1-Jan-2015 | Dag Prawitz on Proofs and Meaning; 7; 147-162 | |
8 | Došen, Kosta ; Petrić, Zoran | Graphs of plural cuts | 6-May-2013 | Theoretical Computer Science; 484; 41-55 | M23 |
9 | Došen, Kosta ; Petrić, Zoran | Ordinals in Frobenius monads | 1-Apr-2013 | Journal of Pure and Applied Algebra; 217(4); 763-778 | M22 |
10 | Došen, Kosta ; Petrić, Zoran | Syntax for split preorders | 1-Apr-2013 | Annals of Pure and Applied Logic; 164(4); 443-481 | M22 |
11 | 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 |
12 | Došen, Kosta ; Petrić, Zoran | Symmetric self-adjunctions and matrices | 1-Dec-2012 | Algebra Colloquium; 19(SPL. ISS. 1); 1051-1082 | |
13 | Došen, Kosta ; Petrić, Zoran | Intermutation | 1-Feb-2012 | Applied Categorical Structures; 20(1); 43-95 | M23 |
14 | Došen, Kosta ; Petrić, Zoran | Isomorphic formulae in classical propositional logic | 1-Feb-2012 | Mathematical Logic Quarterly; 58(1-2); 5-17 | M23 |
15 | Došen, Kosta ; Petrić, Zoran | Invariants for classification of propositional formulae | 2012 | Workshop “Cross Perspectives on Proof Systems and their Significance”, École normale supérieure Paris | M30 |
16 | Došen, Kosta ; Petrić, Zoran | Hypergraph polytopes | 1-Aug-2011 | Topology and its Applications; 158(12); 1405-1444 | M23 |
17 | Došen, Kosta ; Petrić, Zoran | Coherence for modalities | 1-Jul-2011 | Journal of Pure and Applied Algebra; 215(7); 1606-1628 | M22 |
18 | Došen, Kosta ; Petrić, Zoran | Coherence for monoidal endofunctors | 1-Aug-2010 | Mathematical Structures in Computer Science; 20(4); 523-543 | M23 |
19 | Došen, Kosta ; Petrić, Zoran | Coherence for monoidal monads and comonads | 1-Aug-2010 | Mathematical Structures in Computer Science; 20(4); 545-561 | M23 |
20 | 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 |
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 |