nLab Kosta Došen

Kosta Došen (1954-2017)

• personal page

• detailed curriculum vitae

• Peter Schroeder-Heister, Kosta Došen (1954-2017), Studia Logica: An International Journal for Symbolic Logic 107 1, General Proof Theory (February 2019) 7-9 [jstor:45096838]

Selected writings

On substructural logic:

• Kosta Došen, Peter Schroder-Heister, Substructural Logics, Clarendon Press (1993) [ISBN:9780198537779]

On proof theory (cut elimination) and category theory:

• Kosta Došen, Cut Elimination in Categories, Trends in Logic 6, Springer (1999) [doi:10.1007/978-94-017-1207-1]

On cartesian monoidal categories:

• Kosta Došen, Zoran Petrić: The maximality of cartesian categories, Mathematical Logic Quarterly: Mathematical Logic Quarterly 47 1 (2001) 137-144 [arXiv:math/9911059, doi:10.1002/1521-3870(200101)47:1%3C137::AID-MALQ137%3E3.0.CO;2-F]

On structures similar to duoidal categories:

• Kosta Došen, Zoran Petrić: Intermutation, Applied Categorical Structures 20 (2012) 43-95 [arXiv:math/0701325, doi:10.1007/s10485-010-9228-x]

category: people