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 41-60 of 61 (Search time: 0.002 seconds).

Author(s)TitleIssue DateAppears inRank
41Došen, Kosta ; Petrić, Zoran Isomorphic objects in symmetric monoidal closed categoriest1-Jan-1997Mathematical Structures in Computer Science; 7(6); 639-662M22
42Došen, Kosta Deductive completeness1-Jan-1996Bulletin of Symbolic Logic; 2(3); 243-283
43Došen, Kosta Rudimentary Kripke models for the intuitionistic propositional calculus28-Jun-1993Annals of Pure and Applied Logic; 62(1); 21-49
44Došen, Kosta One more reference on self-reference1-Dec-1992The Mathematical Intelligencer; 14(4); 4-5M22
45Došen, Kosta The first axiomatization of relevant logic1-Nov-1992Journal of Philosophical Logic; 21(4); 339-356
46Došen, Kosta Modal logic as metalogic1-Sep-1992Journal of Logic, Language and Information; 1(3); 173-201
47Došen, Kosta Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic3-Aug-1992Theoretical Computer Science; 102(1); 207-214M23
48Došen, Kosta Modal translations in substructural logics1-Aug-1992Journal of Philosophical Logic; 21(3); 283-336
49Došen, Kosta A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS1-Jan-1992Mathematical Logic Quarterly; 38(1); 179-187
50Došen, Kosta Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus1-Jan-1991Notre Dame Journal of Formal Logic; 32(4); 580-597
51Došen, Kosta Duality between modal algebras and neighbourhood frames1-Jun-1989Studia Logica; 48(2); 219-234
52Došen, Kosta Sequent-systems and groupoid models. II1-Mar-1989Studia Logica; 48(1); 41-65
53Došen, Kosta Logical constants as punctuation marks1-Jan-1989Notre Dame Journal of Formal Logic; 30(3); 362-380
54Došen, Kosta Sequent-systems and groupoid models. I1-Dec-1988Studia Logica; 47(4); 353-385
55Došen, Kosta A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic1-Jan-1987Mathematical Logic Quarterly; 33(5); 453-456
56Došen, Kosta Models for stronger normal intuitionistic modal logics1-Mar-1985Studia Logica; 44(1); 39-70
57Došen, Kosta A Completeness Theorem for the Lambek Calculus of Syntactic Categories1-Jan-1985Mathematical Logic Quarterly; 31(14-18); 235-241
58Došen, Kosta An intuitionistic sheffer function1-Jan-1985Notre Dame Journal of Formal Logic; 26(4); 479-482
59Božić, Milan; Došen, Kosta Models for normal intuitionistic modal logics1-Sep-1984Studia Logica; 43(3); 217-245
60Doš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

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