nLab Kosta Došen

Kosta Došen (1954-2017)

• personal page

• 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 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