Došen, Kosta

Network Lab View Statistics Email Alert

Profile

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

Publications


Results 61-68 of 68 (Search time: 0.003 seconds).

Author(s)TitleIssue DateAppears inRank
61Došen, Kosta A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic1-Jan-1987Mathematical Logic Quarterly; 33(5); 453-456
62Došen, Kosta Models for stronger normal intuitionistic modal logics1-Mar-1985Studia Logica; 44(1); 39-70
63Došen, Kosta A Completeness Theorem for the Lambek Calculus of Syntactic Categories1-Jan-1985Mathematical Logic Quarterly; 31(14-18); 235-241
64Došen, Kosta An intuitionistic sheffer function1-Jan-1985Notre Dame Journal of Formal Logic; 26(4); 479-482
65Božić, Milan; Došen, Kosta Models for normal intuitionistic modal logics1-Sep-1984Studia Logica; 43(3); 217-245
66Došen, Kosta A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic1-Nov-1981Journal of Philosophical Logic; 10(4); 399-408
67Došen, Kosta Logical Constants: An Essay in Proof Theory1980doctoral thesis: University of OxfordM70
68Došen, Kosta A note on the law of identity and the converse parry property1-Jan-1978Notre Dame Journal of Formal Logic; 19(1); 174-176

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