Researchers
Došen, Kosta
Rezultati 21-40 od 221
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2014 | Algebras of deductions in category theory | Došen, Kosta   | Conference Paper | Mp. category will be shown later |
| 2014 | An introduction to deduction | Došen, Kosta | Conference Paper | Mp. category will be shown later |
| 2014 | General proof theory | Došen, Kosta | Conference Paper | Mp. category will be shown later |
| 2013 | Two ways of general proof theory | Došen, Kosta | Conference Paper | Mp. category will be shown later |
| 2013 | Democarcy and mathematics | Došen, Kosta | Conference Paper | Mp. category will be shown later |
| 2013 | Algebre dedukcija u teoriji kategorija | Došen, Kosta | Conference Paper | Mp. category will be shown later |
| 2013 | Syntax for split preorders | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2013 | Intuitionistic logic in categorial proof theory | Došen, Kosta | Conference Paper | Mp. category will be shown later |
| 2013 | Graphs of plural cuts | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2013 | Ordinals in Frobenius monads | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2013 | Proof theory and deduction theory | Došen, Kosta | Conference Paper | Mp. category will be shown later |
| 2012 | Isomorphic formulae in classical propositional logic | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2012 | The main question of general proof theory | Došen, Kosta | Conference Paper | Mp. category will be shown later |
| 2012 | Inferential semantics | Došen, Kosta | Conference Paper | Mp. category will be shown later |
| 2012 | Intermutation | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2012 | Invariants for classification of propositional formulae | Petrić, Zoran ; Došen, Kosta | Conference Paper | Mp. category will be shown later |
| 2012 | Symmetric self-adjunctions and matrices | Došen, Kosta ; Petrić, Zoran | Article | 23M23 |
| 2012 | Shuffles and concatenations in the construction of graphs | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2011 | Coherence for modalities | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2011 | Hypergraph polytopes | Došen, Kosta ; Petrić, Zoran | Article | 22M22 |