I agree that this site is using cookies. You can find further informations here.
X
Došen, Kosta
84  results:
Search for persons X
?
1

Gödel on Deduction:

Došen, Kosta ; Adžić, Miloš
Studia Logica: An International Journal for Symbolic Logic.  107 (2019)  1 - p. 31-51 , 2019
Link: https://www.jstor.org/st..
 
?
2

Gödel's Natural Deduction:

Došen, Kosta ; Adžić, Miloš
Studia Logica: An International Journal for Symbolic Logic.  106 (2018)  2 - p. 397-415 , 2018
Link: https://www.jstor.org/st..
 
?
3

Gödel on Deduction:

Došen, Kosta ; Adžić, Miloš
Studia Logica.  107 (2017)  1 - p. 31-51 , 2017
Link: https://doi.org/10.1007/..
 
?
4

Gödel's Natural Deduction:

Došen, Kosta ; Adžić, Miloš
Studia Logica.  106 (2017)  2 - p. 397-415 , 2017
Link: https://doi.org/10.1007/..
 
?
5

GÖDEL'S NOTRE DAME COURSE:

ADŽIĆ, MILOŠ ; DOŠEN, KOSTA
The Bulletin of Symbolic Logic.  22 (2016)  4 - p. 469-481 , 2016
Link: https://doi.org/10.1017/..
 
?
6

GÖDEL'S NOTRE DAME COURSE:

ADŽIĆ, MILOŠ ; DOŠEN, KOSTA
The Bulletin of Symbolic Logic.  22 (2016)  4 - p. 469-481 , 2016
Link: https://www.jstor.org/st..
 
?
7

REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIO..:

DOŠEN, KOSTA ; PETRIĆ, ZORAN
The Review of Symbolic Logic.  10 (2016)  1 - p. 145-157 , 2016
Link: https://doi.org/10.1017/..
 
?
8

A Planarity Criterion for Graphs:

Došen, Kosta ; Petrić, Zoran
SIAM Journal on Discrete Mathematics.  29 (2015)  4 - p. 2160-2165 , 2015
Link: https://doi.org/10.1137/..
 
?
9

On the Paths of Categories:

, In: Advances in Proof-Theoretic Semantics; Trends in Logic,
Došen, Kosta - p. 65-77 , 2015
Link: https://doi.org/10.1007/..
 
?
10

Comments on an Opinion:

, In: Advances in Proof-Theoretic Semantics; Trends in Logic,
Došen, Kosta - p. 189-193 , 2015
Link: https://doi.org/10.1007/..
 
?
11

Ordinals in Frobenius monads:

Došen, Kosta ; Petrić, Zoran
Journal of Pure and Applied Algebra.  217 (2013)  4 - p. 763-778 , 2013
Link: https://doi.org/10.1016/..
 
?
12

Syntax for split preorders:

Došen, Kosta ; Petrić, Zoran
Annals of Pure and Applied Logic.  164 (2013)  4 - p. 443-481 , 2013
Link: https://doi.org/10.1016/..
 
?
13

Graphs of plural cuts:

Došen, Kosta ; Petrić, Zoran
Theoretical Computer Science.  484 (2013)  - p. 41-55 , 2013
Link: https://doi.org/10.1016/..
 
?
14

Shuffles and concatenations in the construction of graphs:

DOŠEN, KOSTA ; PETRIĆ, ZORAN
Mathematical Structures in Computer Science.  22 (2012)  6 - p. 904-930 , 2012
Link: https://doi.org/10.1017/..
 
?
15

Coherence for modalities:

Došen, Kosta ; Petrić, Zoran
Journal of Pure and Applied Algebra.  215 (2011)  7 - p. 1606-1628 , 2011
Link: https://doi.org/10.1016/..
 
1-15