Loading... 3 0 20 0 false
Full Name
Došen, Kosta
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications



Refined By:
Subject:  Categorial proof theory | Consequence | Deduction | General proof theory | ground | Inference | Name | Proof-theoretic semantics | Proposition | Provability | Truth | Validity

Results 1-1 of 1 (Search time: 0.001 seconds).

Author(s)TitleIssue DateAppears inRank
1Došen, Kosta Inferential Semantics1-Jan-2015Dag Prawitz on Proofs and Meaning; 7; 147-162

Projects



Results 1-1 of 1 (Search time: 0.001 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT 1630Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics01-01-200231-12-2005Došen, Kosta