Researchers

Rezultati 21-40 od 221
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2014Algebras of deductions in category theoryDošen, Kosta  Conference Paper
Mp. category will be shown later
2014An introduction to deductionDošen, Kosta  Conference Paper
Mp. category will be shown later
2014General proof theoryDošen, Kosta  Conference Paper
Mp. category will be shown later
2013Two ways of general proof theoryDošen, Kosta  Conference Paper
Mp. category will be shown later
2013Democarcy and mathematicsDošen, Kosta  Conference Paper
Mp. category will be shown later
2013Algebre dedukcija u teoriji kategorijaDošen, Kosta  Conference Paper
Mp. category will be shown later
2013Syntax for split preordersDošen, Kosta  ; Petrić, Zoran  Article
22M22
2013Intuitionistic logic in categorial proof theoryDošen, Kosta  Conference Paper
Mp. category will be shown later
2013Graphs of plural cutsDošen, Kosta  ; Petrić, Zoran  Article
22M22
2013Ordinals in Frobenius monadsDošen, Kosta  ; Petrić, Zoran  Article
22M22
2013Proof theory and deduction theoryDošen, Kosta  Conference Paper
Mp. category will be shown later
2012Isomorphic formulae in classical propositional logicDošen, Kosta  ; Petrić, Zoran  Article
22M22
2012The main question of general proof theoryDošen, Kosta  Conference Paper
Mp. category will be shown later
2012Inferential semanticsDošen, Kosta  Conference Paper
Mp. category will be shown later
2012IntermutationDošen, Kosta  ; Petrić, Zoran  Article
22M22
2012Invariants for classification of propositional formulaePetrić, Zoran  ; Došen, Kosta  Conference Paper
Mp. category will be shown later
2012Symmetric self-adjunctions and matricesDošen, Kosta  ; Petrić, Zoran  Article
23M23
2012Shuffles and concatenations in the construction of graphsDošen, Kosta  ; Petrić, Zoran  Article
22M22
2011Coherence for modalitiesDošen, Kosta  ; Petrić, Zoran  Article
22M22
2011Hypergraph polytopesDošen, Kosta  ; Petrić, Zoran  Article
22M22