Showing results 27 to 46 of 68
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
Došen, Kosta | IDentity Of Proofs Based On Normalization And Generality | 1-Jan-2003 | Bulletin of Symbolic Logic; 9(4); 477-503 | M21 |
Došen, Kosta | Inferential Semantics | 1-Jan-2015 | Dag Prawitz on Proofs and Meaning; 7; 147-162 | |
Došen, Kosta ; Petrić, Zoran | Intermutation | 1-Feb-2012 | Applied Categorical Structures; 20(1); 43-95 | M23 |
Došen, Kosta | An intuitionistic sheffer function | 1-Jan-1985 | Notre Dame Journal of Formal Logic; 26(4); 479-482 | |
Došen, Kosta ; Petrić, Zoran | Invariants for classification of propositional formulae | 2012 | Workshop “Cross Perspectives on Proof Systems and their Significance”, École normale supérieure Paris | M30 |
Došen, Kosta ; Petrić, Zoran | Isomorphic formulae in classical propositional logic | 1-Feb-2012 | Mathematical Logic Quarterly; 58(1-2); 5-17 | M23 |
Došen, Kosta ; Petrić, Zoran | Isomorphic objects in symmetric monoidal closed categoriest | 1-Jan-1997 | Mathematical Structures in Computer Science; 7(6); 639-662 | M22 |
Borisavljević, Mirjana; Došen, Kosta ; Petrić, Zoran | Kauffman monoids | 26-Aug-2002 | Journal of Knot Theory and its Ramifications; 11(2); 127-143 | M22 |
Došen, Kosta | Logical constants as punctuation marks | 1-Jan-1989 | Notre Dame Journal of Formal Logic; 30(3); 362-380 | |
Došen, Kosta | Logical Constants: An Essay in Proof Theory | 1980 | doctoral thesis: University of Oxford | M70 |
Došen, Kosta ; Petrić, Zoran | The maximality of cartesian categories | 1-Jan-2001 | Mathematical Logic Quarterly; 47(1); 137-144 | M23 |
Došen, Kosta ; Petrić, Zoran | Medial commutativity | 1-May-2007 | Annals of Pure and Applied Logic; 146(2-3); 237-255 | M22 |
Došen, Kosta | Modal logic as metalogic | 1-Sep-1992 | Journal of Logic, Language and Information; 1(3); 173-201 | |
Došen, Kosta | Modal translations in substructural logics | 1-Aug-1992 | Journal of Philosophical Logic; 21(3); 283-336 | |
Božić, Milan; Došen, Kosta | Models for normal intuitionistic modal logics | 1-Sep-1984 | Studia Logica; 43(3); 217-245 | |
Došen, Kosta | Models for stronger normal intuitionistic modal logics | 1-Mar-1985 | Studia Logica; 44(1); 39-70 | |
Došen, Kosta | Models of deduction | 1-Jan-2006 | Synthese; 148(3); 639-657 | M22 |
Došen, Kosta ; Kovijanić, Žana; Petrić, Zoran | A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebras | 1-Jan-2006 | International Journal of Algebra and Computation; 16(5); 959-968 | M23 |
Došen, Kosta | Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic | 3-Aug-1992 | Theoretical Computer Science; 102(1); 207-214 | M23 |
Došen, Kosta | A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic | 1-Jan-1987 | Mathematical Logic Quarterly; 33(5); 453-456 | |