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 18 to 37 of 68 < previous   next >
Author(s)TitleIssue DateAppears inRank
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
Došen, Kosta ; Petrić, Zoran Generality of proofs and its brauerian representation1-Jan-2003Journal of Symbolic Logic; 68(3); 740-750M22
Došen, Kosta ; Adžić, MilošGödel on Deduction15-Feb-2019Studia Logica; 107(1); 31-51M22
Adžić, Miloš; Došen, Kosta Gödel's notre dame course1-Dec-2016Bulletin of Symbolic Logic; 22(4); 469-481M21
Došen, Kosta ; Adžić, MilošGödel’s Natural Deduction1-Apr-2018Studia Logica; 106(2); 397-415M22
Došen, Kosta ; Petrić, Zoran Graphs of plural cuts6-May-2013Theoretical Computer Science; 484; 41-55M23
Došen, Kosta ; Petrić, Zoran Hypergraph polytopes1-Aug-2011Topology and its Applications; 158(12); 1405-1444M23
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
Showing results 18 to 37 of 68 < previous   next >