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


Refined By:
Date Issued:  [1980 TO 1989]

Results 1-11 of 11 (Search time: 0.002 seconds).

Author(s)TitleIssue DateAppears inRank
1Došen, Kosta Duality between modal algebras and neighbourhood frames1-Jun-1989Studia Logica; 48(2); 219-234
2Došen, Kosta Sequent-systems and groupoid models. II1-Mar-1989Studia Logica; 48(1); 41-65
3Došen, Kosta Logical constants as punctuation marks1-Jan-1989Notre Dame Journal of Formal Logic; 30(3); 362-380
4Došen, Kosta Sequent-systems and groupoid models. I1-Dec-1988Studia Logica; 47(4); 353-385
5Došen, Kosta A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic1-Jan-1987Mathematical Logic Quarterly; 33(5); 453-456
6Došen, Kosta Models for stronger normal intuitionistic modal logics1-Mar-1985Studia Logica; 44(1); 39-70
7Došen, Kosta A Completeness Theorem for the Lambek Calculus of Syntactic Categories1-Jan-1985Mathematical Logic Quarterly; 31(14-18); 235-241
8Došen, Kosta An intuitionistic sheffer function1-Jan-1985Notre Dame Journal of Formal Logic; 26(4); 479-482
9Božić, Milan; Došen, Kosta Models for normal intuitionistic modal logics1-Sep-1984Studia Logica; 43(3); 217-245
10Doš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
11Došen, Kosta Logical Constants: An Essay in Proof Theory1980doctoral thesis: University of OxfordM70

Projects


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

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