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 44 to 63 of 68 < previous   next >
Author(s)TitleIssue DateAppears inRank
Došen, Kosta ; Kovijanić, Žana; Petrić, Zoran A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebras1-Jan-2006International Journal of Algebra and Computation; 16(5); 959-968M23
Došen, Kosta Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic3-Aug-1992Theoretical Computer Science; 102(1); 207-214M23
Došen, Kosta A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic1-Jan-1987Mathematical Logic Quarterly; 33(5); 453-456
Doš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
Borisavljević, Mirjana; Došen, Kosta ; Petrić, Zoran On permuting cut with contraction1-Jan-2000Mathematical Structures in Computer ScienceM23
Došen, Kosta One more reference on self-reference1-Dec-1992The Mathematical Intelligencer; 14(4); 4-5M22
Došen, Kosta ; Petrić, Zoran Ordinals in Frobenius monads1-Apr-2013Journal of Pure and Applied Algebra; 217(4); 763-778M22
Došen, Kosta ; Petrić, Zoran A planarity criterion for graphs1-Jan-2015SIAM Journal on Discrete Mathematics; 29(4); 2160-2165M22
Došen, Kosta ; Petrić, Zoran Proof-Net Categories2007M11
Došen, Kosta ; Petrić, Zoran Proof-Theoretical Coherence20041M11
Doš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
Došen, Kosta ; Petrić, Zoran Relevant categories and partial functions1-Dec-2007Publications de l'Institut Mathematique; 96; 17-23
Došen, Kosta ; Petrić, Zoran Representing conjunctive deductions by disjunctive deductions1-Mar-2017Review of Symbolic Logic; 10(1); 145-157M21
Došen, Kosta Rudimentary Kripke models for the intuitionistic propositional calculus28-Jun-1993Annals of Pure and Applied Logic; 62(1); 21-49
Došen, Kosta ; Petrić, Zoran Self-adjunctions and matrices1-Oct-2003Journal of Pure and Applied Algebra; 184(1); 7-39M22
Došen, Kosta Sequent-systems and groupoid models. I1-Dec-1988Studia Logica; 47(4); 353-385
Došen, Kosta Sequent-systems and groupoid models. II1-Mar-1989Studia Logica; 48(1); 41-65
Došen, Kosta ; Petrić, Zoran Shuffles and concatenations in the construction of graphs1-Dec-2012Mathematical Structures in Computer Science; 22(6); 904-930M22
Došen, Kosta Simplicial endomorphisms1-Jul-2008Communications in Algebra; 36(7); 2681-2709M23
Došen, Kosta ; Petrić, Zoran Symmetric self-adjunctions and matrices1-Dec-2012Algebra Colloquium; 19(SPL. ISS. 1); 1051-1082