Browsing by Author Došen, Kosta


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 20 of 68  next >
Author(s)TitleIssue DateAppears inRank
Doš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
Došen, Kosta ; Petrić, Zoran Associativity as commutativity1-Jan-2006Journal of Symbolic Logic; 71(1); 217-226M22
Došen, Kosta ; Petrić, Zoran Bicartesian coherence1-Jan-2002Studia Logica; 71(3); 331-353
Došen, Kosta ; Petrić, Zoran A Brauerian representation of split preorders24-Nov-2003Mathematical Logic Quarterly; 49(6); 579-586M22
Došen, Kosta A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS1-Jan-1992Mathematical Logic Quarterly; 38(1); 179-187
Došen, Kosta ; Petrić, Zoran Cartesian isomorphisms are symmetric monoidal: A justification of linear logic1-Jan-1999Journal of Symbolic Logic; 64(1); 227-242M22
Došen, Kosta ; Petrić, Zoran Coherence for modalities1-Jul-2011Journal of Pure and Applied Algebra; 215(7); 1606-1628M22
Došen, Kosta ; Petrić, Zoran Coherence for monoidal endofunctors1-Aug-2010Mathematical Structures in Computer Science; 20(4); 523-543M23
Došen, Kosta ; Petrić, Zoran Coherence for monoidal monads and comonads1-Aug-2010Mathematical Structures in Computer Science; 20(4); 545-561M23
Došen, Kosta ; Petrić, Zoran Coherence for star-autonomous categories1-Jan-2006Annals of Pure and Applied Logic; 141(1-2); 225-242M22
Došen, Kosta ; Petrić, Zoran Coherence in linear predicate logic1-Mar-2009Annals of Pure and Applied Logic; 158(1-2); 125-153M22
Došen, Kosta ; Petrić, Zoran Coherence of Proof-Net Categories2005Publications de l'Institut Mathématique; 78(92); 1-33M24
Došen, Kosta ; Petrić, Zoran Coherent bicartesian and sesquicartesian categories1-Jan-2001Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Seminar on Proof Theory in Computer Science, PTCS 2001; Dagstuhl Castle; Germany; 7 October 2001 through 12 October 2001; 2183; 78-92M21
Došen, Kosta A Completeness Theorem for the Lambek Calculus of Syntactic Categories1-Jan-1985Mathematical Logic Quarterly; 31(14-18); 235-241
Došen, Kosta Cut elimination in adjuncion1-Jan-1999Bulletin of the Section of Logic; 28(2); 61-73
Došen, Kosta Deductive completeness1-Jan-1996Bulletin of Symbolic Logic; 2(3); 243-283
Došen, Kosta Duality between modal algebras and neighbourhood frames1-Jun-1989Studia Logica; 48(2); 219-234
Došen, Kosta ; Petrić, Zoran Equality of proofs for linear equality1-Sep-2008Archive for Mathematical Logic; 47(6); 549-565
Došen, Kosta The first axiomatization of relevant logic1-Nov-1992Journal of Philosophical Logic; 21(4); 339-356
Došen, Kosta Functions redefined1-Jan-1998American Mathematical Monthly; 105(7); 631-635M22
Showing results 1 to 20 of 68  next >