Showing results 35 to 54 of 68
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
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 | |
Došen, Kosta | A note on the law of identity and the converse parry property | 1-Jan-1978 | Notre Dame Journal of Formal Logic; 19(1); 174-176 | |
Borisavljević, Mirjana; Došen, Kosta ; Petrić, Zoran | On permuting cut with contraction | 1-Jan-2000 | Mathematical Structures in Computer Science | M23 |
Došen, Kosta | One more reference on self-reference | 1-Dec-1992 | The Mathematical Intelligencer; 14(4); 4-5 | M22 |
Došen, Kosta ; Petrić, Zoran | Ordinals in Frobenius monads | 1-Apr-2013 | Journal of Pure and Applied Algebra; 217(4); 763-778 | M22 |
Došen, Kosta ; Petrić, Zoran | A planarity criterion for graphs | 1-Jan-2015 | SIAM Journal on Discrete Mathematics; 29(4); 2160-2165 | M22 |
Došen, Kosta ; Petrić, Zoran | Proof-Net Categories | 2007 | | M11 |
Došen, Kosta ; Petrić, Zoran | Proof-Theoretical Coherence | 2004 | 1 | M11 |
Došen, Kosta | A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic | 1-Nov-1981 | Journal of Philosophical Logic; 10(4); 399-408 | |