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 27 to 46 of 68 < previous   next >
Author(s)TitleIssue DateAppears inRank
Došen, Kosta IDentity Of Proofs Based On Normalization And Generality1-Jan-2003Bulletin of Symbolic Logic; 9(4); 477-503M21
Došen, Kosta Inferential Semantics1-Jan-2015Dag Prawitz on Proofs and Meaning; 7; 147-162
Došen, Kosta ; Petrić, Zoran Intermutation1-Feb-2012Applied Categorical Structures; 20(1); 43-95M23
Došen, Kosta An intuitionistic sheffer function1-Jan-1985Notre Dame Journal of Formal Logic; 26(4); 479-482
Došen, Kosta ; Petrić, Zoran Invariants for classification of propositional formulae2012Workshop “Cross Perspectives on Proof Systems and their Significance”, École normale supérieure ParisM30
Došen, Kosta ; Petrić, Zoran Isomorphic formulae in classical propositional logic1-Feb-2012Mathematical Logic Quarterly; 58(1-2); 5-17M23
Došen, Kosta ; Petrić, Zoran Isomorphic objects in symmetric monoidal closed categoriest1-Jan-1997Mathematical Structures in Computer Science; 7(6); 639-662M22
Borisavljević, Mirjana; Došen, Kosta ; Petrić, Zoran Kauffman monoids26-Aug-2002Journal of Knot Theory and its Ramifications; 11(2); 127-143M22
Došen, Kosta Logical constants as punctuation marks1-Jan-1989Notre Dame Journal of Formal Logic; 30(3); 362-380
Došen, Kosta Logical Constants: An Essay in Proof Theory1980doctoral thesis: University of OxfordM70
Došen, Kosta ; Petrić, Zoran The maximality of cartesian categories1-Jan-2001Mathematical Logic Quarterly; 47(1); 137-144M23
Došen, Kosta ; Petrić, Zoran Medial commutativity1-May-2007Annals of Pure and Applied Logic; 146(2-3); 237-255M22
Došen, Kosta Modal logic as metalogic1-Sep-1992Journal of Logic, Language and Information; 1(3); 173-201
Došen, Kosta Modal translations in substructural logics1-Aug-1992Journal of Philosophical Logic; 21(3); 283-336
Božić, Milan; Došen, Kosta Models for normal intuitionistic modal logics1-Sep-1984Studia Logica; 43(3); 217-245
Došen, Kosta Models for stronger normal intuitionistic modal logics1-Mar-1985Studia Logica; 44(1); 39-70
Došen, Kosta Models of deduction1-Jan-2006Synthese; 148(3); 639-657M22
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