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 and category theory:

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

category: people