Edit Profile Došen, Kosta Compute Distance To: Compute Author ID: dosen.kosta Published as: Dosen, Kosta; Došen, Kosta External Links: MGP · Wikidata · dblp Documents Indexed: 109 Publications since 1978, including 6 Books Biographic References: 1 Publication all top 5 Co-Authors 58 single-authored 41 Petrić, Zoran 4 Adžić, Miloš 3 Schroeder-Heister, Peter Joseph 2 Borisavljević, Mirjana 2 Božić, Milan 1 Kovijanić, Žana 1 Marković, Zoran M. 1 Mijajlović, Žarko all top 5 Serials 10 Publications de l’Institut Mathématique. Nouvelle Série 8 Studia Logica 5 The Journal of Symbolic Logic 5 Annals of Pure and Applied Logic 5 MSCS. Mathematical Structures in Computer Science 4 Notre Dame Journal of Formal Logic 3 Journal of Philosophical Logic 3 Journal of Pure and Applied Algebra 3 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 3 Mathematical Logic Quarterly (MLQ) 3 The Bulletin of Symbolic Logic 3 Bulletin of the Section of Logic 2 Theoretical Computer Science 1 American Mathematical Monthly 1 Communications in Algebra 1 Logique et Analyse. Nouvelle Série 1 Reports on Mathematical Logic 1 Synthese 1 Theoria 1 Bulletin of the Section of Logic 1 Topology and its Applications 1 SIAM Journal on Discrete Mathematics 1 Journal of Logic and Computation 1 International Journal of Algebra and Computation 1 Archive for Mathematical Logic 1 Journal of Knot Theory and its Ramifications 1 Journal of Logic, Language and Information 1 Applied Categorical Structures 1 Algebra Colloquium 1 Trends in Logic – Studia Logica Library 1 Studies in Logic (London) 1 Logical Methods in Computer Science 1 The Review of Symbolic Logic all top 5 Fields 91 Mathematical logic and foundations (03-XX) 38 Category theory; homological algebra (18-XX) 8 Group theory and generalizations (20-XX) 6 Combinatorics (05-XX) 6 Associative rings and algebras (16-XX) 6 Manifolds and cell complexes (57-XX) 5 History and biography (01-XX) 4 Algebraic topology (55-XX) 3 Computer science (68-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Convex and discrete geometry (52-XX) 1 General algebraic systems (08-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Geometry (51-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 81 Publications have been cited 431 times in 255 Documents Cited by ▼ Year ▼ Models for normal intuitionistic modal logics. Zbl 0634.03014Božić, Milan; Došen, Kosta 26 1984 Sequent-systems and groupoid models. I. Zbl 0671.03018Došen, Kosta 23 1988 Models for stronger normal intuitionistic modal logics. Zbl 0634.03015Došen, Kosta 20 1985 A brief survey of frames for the Lambek calculus. Zbl 0793.03025Došen, Kosta 17 1992 Logical constants as punctuation marks. Zbl 0692.03003Došen, Kosta 17 1989 Negation as a modal operator. Zbl 0626.03006Došen, Kosta 17 1986 Kauffman monoids. Zbl 1025.57015Borisavljević, Mirjana; Došen, Kosta; Petrić, Zoran 15 2002 Sequent-systems for modal logic. Zbl 0562.03009Došen, Kosta 13 1985 Negative modal operators in intuitionistic logic. Zbl 0555.03011Došen, Kosta 13 1984 Proof-theoretical coherence. Zbl 1153.03003Došen, Kosta; Petrić, Zoran 12 2004 Cut elimination in categories. Zbl 0981.03068Došen, Kosta 12 1999 Sequent-systems and groupoid models. II. Zbl 0688.03012Došen, Kosta 12 1989 Identity of proofs based on normalization and generality. Zbl 1058.03061Došen, Kosta 11 2003 Duality between modal algebras and neighbourhood frames. Zbl 0685.03013Došen, Kosta 11 1989 Generality of proofs and its Brauerian representation. Zbl 1058.03062Došen, Kosta; Petrić, Zoran 10 2003 Modal translations in substructural logics. Zbl 0765.03009Došen, Kosta 10 1992 Hypergraph polytopes. Zbl 1222.05193Došen, Kosta; Petrić, Zoran 8 2011 A Brauerian representation of split preorders. Zbl 1035.03034Došen, Kosta; Petrić, Zoran 8 2003 A completeness theorem for the Lambek calculus of syntactic categories. Zbl 0564.03029Došen, Kosta 8 1985 Self-adjunctions and matrices. Zbl 1043.57007Došen, Kosta; Petrić, Zoran 7 2003 Negation in the light of modal logic. Zbl 0974.03019Došen, Kosta 7 1999 Substructural logics. Seminar for natural-language processing systems of the University of Tübingen, Germany, on 7-8 October 1990. Zbl 0811.68056Schroeder-Heister, Peter (ed.); Došen, Kosta (ed.) 7 1994 Proof-net categories. Zbl 1287.03001Došen, Kosta; Petrić, Zoran 6 2007 Isomorphic objects in symmetric monoidal closed categories. Zbl 0897.18004Došen, Kosta; Petrić, Zoran 6 1997 A historical introduction to substructural logics. Zbl 0941.03516Došen, Kosta 6 1994 Intuitionistic double negation as a necessity operator. Zbl 0555.03012Došen, Kosta 6 1984 The maximality of Cartesian categories. Zbl 0978.18001Došen, Kosta; Petrić, Zoran 5 2001 The first axiomatization of relevant logic. Zbl 0767.03009Došen, Kosta 5 1992 Associativity as commutativity. Zbl 1099.18006Došen, Kosta; Petrić, Zoran 4 2006 On passing from singular to plural consequences. Zbl 0923.03020Došen, Kosta 4 1999 Logical constants as punctuation marks. Zbl 0827.03002Došen, Kosta 4 1994 Gödel’s Notre Dame course. Zbl 1380.03003Adžić, Miloš; Došen, Kosta 3 2016 Syntax for split preorders. Zbl 1262.18003Došen, Kosta; Petrić, Zoran 3 2013 Symmetric self-adjunctions and matrices. Zbl 1294.18002Došen, Kosta; Petrić, Zoran 3 2012 A prologue to the theory of deduction. Zbl 1261.03027Došen, Kosta 3 2011 The typed Böhm theorem. Zbl 1261.03075Došen, Kosta; Petrić, Zoran 3 2001 The maximality of the typed lambda calculus and of cartesian closed categories. Zbl 0968.03019Došen, Kosta; Petrić, Zoran 3 2000 On permuting cut with contraction. Zbl 0949.03054Borisavljević, Mirjana; Došen, Kosta; Petrić, Zoran 3 2000 Deductive completeness. Zbl 0858.03063Došen, Kosta 3 1996 Equality in substructural logics. Zbl 0858.03031Došen, Kosta 3 1996 Modal translations in \(\mathbf K\) and \(\mathbf D\). Zbl 0824.03007Došen, Kosta 3 1993 Normal modal logics in which the Heyting propositional calculus can be embedded. Zbl 0784.03015Došen, Kosta 3 1990 Uniqueness, definability and interpolation. Zbl 0651.03026Došen, Kosta; Schroeder-Heister, Peter 3 1988 A note on Gentzen’s decision procedure for intuitionistic propositional logic. Zbl 0612.03010Došen, Kosta 3 1987 Modal translations and intuitionistic double negation. Zbl 0607.03006Došen, Kosta 3 1986 Axiomatizations of intuitionistic double negation. Zbl 0542.03007Božić, Milan; Došen, Kosta 3 1983 A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic. Zbl 0473.03008Dosen, Kosta 3 1981 Weak Cat-operads. Zbl 1351.18010Došen, Kosta; Petrić, Zoran 2 2015 Intermutation. Zbl 1258.18004Došen, Kosta; Petrić, Zoran 2 2012 Coherence for modalities. Zbl 1222.03025Došen, Kosta; Petrić, Zoran 2 2011 Bicartesian coherence revisited. Zbl 1351.18001Došen, Kosta; Petrić, Zoran 2 2009 Coherence in linear predicate logic. Zbl 1168.03046Došen, Kosta; Petrić, Zoran 2 2009 Equality of proofs for linear equality. Zbl 1159.03039Došen, Kosta; Petrić, Zoran 2 2008 Simplicial endomorphisms. Zbl 1148.55013Došen, Kosta 2 2008 Symmetric self-adjunctions: a justification of Brauer’s representation of Brauer’s algebras. Zbl 1224.14010Došen, Kosta; Petrić, Zoran 2 2006 Models of deduction. Zbl 1103.03052Došen, Kosta 2 2006 Coherence for star-autonomous categories. Zbl 1106.18004Došen, Kosta; Petrić, Zoran 2 2006 Coherence of proof-net categories. Zbl 1274.03089Došen, Kosta; Petrić, Zoran 2 2005 Bicartesian coherence. Zbl 1008.18001Došen, Kosta; Petrić, Zoran 2 2002 Abstraction and application in adjunction. Zbl 1002.18001Došen, Kosta 2 2001 Cartesian isomorphisms are symmetric monoidal: A justification of linear logic. Zbl 0928.03070Došen, Kosta; Petrić, Zoran 2 1999 Modal functional completeness. Zbl 0862.03008Došen, Kosta; Petrić, Zoran 2 1996 Modal logic as metalogic. Zbl 0793.03011Došen, Kosta 2 1992 Negation and impossibility. Zbl 0651.03003Došen, Kosta 2 1987 Conservativeness and uniqueness. Zbl 0611.03011Došen, Kosta; Schroeder-Heister, Peter 2 1985 An intuitionistic Sheffer function. Zbl 0589.03002Došen, Kosta 2 1985 Gödel’s natural deduction. Zbl 1417.03008Došen, Kosta; Adžić, Miloš 1 2018 A planarity criterion for graphs. Zbl 1327.05074Došen, Kosta; Petrić, Zoran 1 2015 Graphs of plural cuts. Zbl 1315.03110Došen, Kosta; Petrić, Zoran 1 2013 Ordinals in Frobenius monads. Zbl 1288.03047Došen, Kosta; Petrić, Zoran 1 2013 Shuffles and concatenations in the construction of graphs. Zbl 1266.05103Došen, Kosta; Petrić, Zoran 1 2012 Medial commutativity. Zbl 1120.18005Došen, Kosta; Petrić, Zoran 1 2007 A new proof of the faithfulness of Brauer’s representation of Temperley-Lieb algebras. Zbl 1107.57009Došen, Kosta; Kovijanić, Žana; Petrić, Zoran 1 2006 Functions redefined. Zbl 0919.04001Došen, Kosta 1 1998 Substructural predicates. Zbl 0858.03032Došen, Kosta 1 1996 Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus. Zbl 0754.03008Došen, Kosta 1 1991 Rudimentary Beth models and conditionally rudimentary Kripke models for the Heyting propositional calculus. Zbl 0754.03007Došen, Kosta 1 1991 Modal translations of Heyting and Peano arithmetic. Zbl 0726.03009Došen, Kosta 1 1990 Second-order logic without variables. Zbl 0694.03008Došen, Kosta 1 1988 Higher-level sequent-systems for intuitionistic modal logic. Zbl 0597.03011Došen, Kosta 1 1986 A note on the law of identity and the converse Parry property. Zbl 0368.02027Dosen, Kosta 1 1978 Gödel’s natural deduction. Zbl 1417.03008Došen, Kosta; Adžić, Miloš 1 2018 Gödel’s Notre Dame course. Zbl 1380.03003Adžić, Miloš; Došen, Kosta 3 2016 Weak Cat-operads. Zbl 1351.18010Došen, Kosta; Petrić, Zoran 2 2015 A planarity criterion for graphs. Zbl 1327.05074Došen, Kosta; Petrić, Zoran 1 2015 Syntax for split preorders. Zbl 1262.18003Došen, Kosta; Petrić, Zoran 3 2013 Graphs of plural cuts. Zbl 1315.03110Došen, Kosta; Petrić, Zoran 1 2013 Ordinals in Frobenius monads. Zbl 1288.03047Došen, Kosta; Petrić, Zoran 1 2013 Symmetric self-adjunctions and matrices. Zbl 1294.18002Došen, Kosta; Petrić, Zoran 3 2012 Intermutation. Zbl 1258.18004Došen, Kosta; Petrić, Zoran 2 2012 Shuffles and concatenations in the construction of graphs. Zbl 1266.05103Došen, Kosta; Petrić, Zoran 1 2012 Hypergraph polytopes. Zbl 1222.05193Došen, Kosta; Petrić, Zoran 8 2011 A prologue to the theory of deduction. Zbl 1261.03027Došen, Kosta 3 2011 Coherence for modalities. Zbl 1222.03025Došen, Kosta; Petrić, Zoran 2 2011 Bicartesian coherence revisited. Zbl 1351.18001Došen, Kosta; Petrić, Zoran 2 2009 Coherence in linear predicate logic. Zbl 1168.03046Došen, Kosta; Petrić, Zoran 2 2009 Equality of proofs for linear equality. Zbl 1159.03039Došen, Kosta; Petrić, Zoran 2 2008 Simplicial endomorphisms. Zbl 1148.55013Došen, Kosta 2 2008 Proof-net categories. Zbl 1287.03001Došen, Kosta; Petrić, Zoran 6 2007 Medial commutativity. Zbl 1120.18005Došen, Kosta; Petrić, Zoran 1 2007 Associativity as commutativity. Zbl 1099.18006Došen, Kosta; Petrić, Zoran 4 2006 Symmetric self-adjunctions: a justification of Brauer’s representation of Brauer’s algebras. Zbl 1224.14010Došen, Kosta; Petrić, Zoran 2 2006 Models of deduction. Zbl 1103.03052Došen, Kosta 2 2006 Coherence for star-autonomous categories. Zbl 1106.18004Došen, Kosta; Petrić, Zoran 2 2006 A new proof of the faithfulness of Brauer’s representation of Temperley-Lieb algebras. Zbl 1107.57009Došen, Kosta; Kovijanić, Žana; Petrić, Zoran 1 2006 Coherence of proof-net categories. Zbl 1274.03089Došen, Kosta; Petrić, Zoran 2 2005 Proof-theoretical coherence. Zbl 1153.03003Došen, Kosta; Petrić, Zoran 12 2004 Identity of proofs based on normalization and generality. Zbl 1058.03061Došen, Kosta 11 2003 Generality of proofs and its Brauerian representation. Zbl 1058.03062Došen, Kosta; Petrić, Zoran 10 2003 A Brauerian representation of split preorders. Zbl 1035.03034Došen, Kosta; Petrić, Zoran 8 2003 Self-adjunctions and matrices. Zbl 1043.57007Došen, Kosta; Petrić, Zoran 7 2003 Kauffman monoids. Zbl 1025.57015Borisavljević, Mirjana; Došen, Kosta; Petrić, Zoran 15 2002 Bicartesian coherence. Zbl 1008.18001Došen, Kosta; Petrić, Zoran 2 2002 The maximality of Cartesian categories. Zbl 0978.18001Došen, Kosta; Petrić, Zoran 5 2001 The typed Böhm theorem. Zbl 1261.03075Došen, Kosta; Petrić, Zoran 3 2001 Abstraction and application in adjunction. Zbl 1002.18001Došen, Kosta 2 2001 The maximality of the typed lambda calculus and of cartesian closed categories. Zbl 0968.03019Došen, Kosta; Petrić, Zoran 3 2000 On permuting cut with contraction. Zbl 0949.03054Borisavljević, Mirjana; Došen, Kosta; Petrić, Zoran 3 2000 Cut elimination in categories. Zbl 0981.03068Došen, Kosta 12 1999 Negation in the light of modal logic. Zbl 0974.03019Došen, Kosta 7 1999 On passing from singular to plural consequences. Zbl 0923.03020Došen, Kosta 4 1999 Cartesian isomorphisms are symmetric monoidal: A justification of linear logic. Zbl 0928.03070Došen, Kosta; Petrić, Zoran 2 1999 Functions redefined. Zbl 0919.04001Došen, Kosta 1 1998 Isomorphic objects in symmetric monoidal closed categories. Zbl 0897.18004Došen, Kosta; Petrić, Zoran 6 1997 Deductive completeness. Zbl 0858.03063Došen, Kosta 3 1996 Equality in substructural logics. Zbl 0858.03031Došen, Kosta 3 1996 Modal functional completeness. Zbl 0862.03008Došen, Kosta; Petrić, Zoran 2 1996 Substructural predicates. Zbl 0858.03032Došen, Kosta 1 1996 Substructural logics. Seminar for natural-language processing systems of the University of Tübingen, Germany, on 7-8 October 1990. Zbl 0811.68056Schroeder-Heister, Peter (ed.); Došen, Kosta (ed.) 7 1994 A historical introduction to substructural logics. Zbl 0941.03516Došen, Kosta 6 1994 Logical constants as punctuation marks. Zbl 0827.03002Došen, Kosta 4 1994 Modal translations in \(\mathbf K\) and \(\mathbf D\). Zbl 0824.03007Došen, Kosta 3 1993 A brief survey of frames for the Lambek calculus. Zbl 0793.03025Došen, Kosta 17 1992 Modal translations in substructural logics. Zbl 0765.03009Došen, Kosta 10 1992 The first axiomatization of relevant logic. Zbl 0767.03009Došen, Kosta 5 1992 Modal logic as metalogic. Zbl 0793.03011Došen, Kosta 2 1992 Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus. Zbl 0754.03008Došen, Kosta 1 1991 Rudimentary Beth models and conditionally rudimentary Kripke models for the Heyting propositional calculus. Zbl 0754.03007Došen, Kosta 1 1991 Normal modal logics in which the Heyting propositional calculus can be embedded. Zbl 0784.03015Došen, Kosta 3 1990 Modal translations of Heyting and Peano arithmetic. Zbl 0726.03009Došen, Kosta 1 1990 Logical constants as punctuation marks. Zbl 0692.03003Došen, Kosta 17 1989 Sequent-systems and groupoid models. II. Zbl 0688.03012Došen, Kosta 12 1989 Duality between modal algebras and neighbourhood frames. Zbl 0685.03013Došen, Kosta 11 1989 Sequent-systems and groupoid models. I. Zbl 0671.03018Došen, Kosta 23 1988 Uniqueness, definability and interpolation. Zbl 0651.03026Došen, Kosta; Schroeder-Heister, Peter 3 1988 Second-order logic without variables. Zbl 0694.03008Došen, Kosta 1 1988 A note on Gentzen’s decision procedure for intuitionistic propositional logic. Zbl 0612.03010Došen, Kosta 3 1987 Negation and impossibility. Zbl 0651.03003Došen, Kosta 2 1987 Negation as a modal operator. Zbl 0626.03006Došen, Kosta 17 1986 Modal translations and intuitionistic double negation. Zbl 0607.03006Došen, Kosta 3 1986 Higher-level sequent-systems for intuitionistic modal logic. Zbl 0597.03011Došen, Kosta 1 1986 Models for stronger normal intuitionistic modal logics. Zbl 0634.03015Došen, Kosta 20 1985 Sequent-systems for modal logic. Zbl 0562.03009Došen, Kosta 13 1985 A completeness theorem for the Lambek calculus of syntactic categories. Zbl 0564.03029Došen, Kosta 8 1985 Conservativeness and uniqueness. Zbl 0611.03011Došen, Kosta; Schroeder-Heister, Peter 2 1985 An intuitionistic Sheffer function. Zbl 0589.03002Došen, Kosta 2 1985 Models for normal intuitionistic modal logics. Zbl 0634.03014Božić, Milan; Došen, Kosta 26 1984 Negative modal operators in intuitionistic logic. Zbl 0555.03011Došen, Kosta 13 1984 Intuitionistic double negation as a necessity operator. Zbl 0555.03012Došen, Kosta 6 1984 Axiomatizations of intuitionistic double negation. Zbl 0542.03007Božić, Milan; Došen, Kosta 3 1983 A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic. Zbl 0473.03008Dosen, Kosta 3 1981 A note on the law of identity and the converse Parry property. Zbl 0368.02027Dosen, Kosta 1 1978 all cited Publications top 5 cited Publications all top 5 Cited by 263 Authors 29 Došen, Kosta 25 Petrić, Zoran 9 Wansing, Heinrich Theodor 7 Drobyshevich, Sergeĭ Andreevich 6 Celani, Sergio Arturo 6 East, James 6 Francez, Nissim 4 Gabbay, Dov M. 4 Hartonas, Chrysafis 4 Humberstone, Lloyd 4 Litak, Tadeusz 4 Ono, Hiroakira 3 Baralić, Đorđe 3 Curien, Pierre-Louis 3 Dolinka, Igor 3 Kamide, Norihiro 3 MacCaull, Wendy 3 Mitchell, James D. 3 Moortgat, Michael 3 Obradović, Jovana 3 Odintsov, Sergei P. 3 van Benthem, Johan F. A. K. 2 Adžić, Miloš 2 Arazim, Pavel 2 Askounis, Dimitris 2 Auinger, Karl 2 Bernardi, Raffaella 2 Buszkowski, Wojciech 2 Chen, Yuzhu 2 de Jongh, Dick H. J. 2 Dunn, Jon Michael 2 Dyckhoff, Roy 2 FitzGerald, Desmond G. 2 Font, Josep Maria 2 Goldblatt, Robert Ian 2 Heijltjes, Willem 2 Hu, Xun 2 Indrzejczak, Andrzej 2 Ivanović, Jelena 2 Jansana, Ramon 2 Kaminsky, Michael 2 Koutras, Costas D. 2 Lau, Kwok Wai 2 Luo, Yan Feng 2 Marcos, João 2 Montangie, Daniela 2 Morsi, Nehad Nashaat 2 Mruczek-Nasieniewska, Krystyna 2 Nasieniewski, Marek 2 Onishi, Takuro 2 Pistone, Paolo 2 Prijatelj, Andreja 2 Protopopescu, Tudor 2 Restall, Greg 2 Rinaldi, Davide 2 Schroeder-Heister, Peter Joseph 2 Schuster, Peter Michael 2 Solov’ëv, Sergeĭ Vladimirovich 2 Straßburger, Lutz 2 Surendonk, Timothy J. 2 Suzuki, Tomoyuki 2 Venema, Yde 2 Volkov, Mikhail Vladimirovich 2 Wijesekera, Duminda 2 Zekić, Mladen 2 Zikos, Yorgos 2 Živaljević, Rade T. 1 Agerholm, Troels 1 Alechina, Natasha 1 Alizadeh, Majid 1 Allo, Patrick 1 Amati, Gianni 1 Aoyama, Hiroshi 1 Areces, Carlos 1 Arndt, Michael 1 Artemov, Sergei 1 Avellone, Alessandro 1 Avron, Arnon 1 Balat, Vincent 1 Balbiani, Philippe 1 Baratella, Stefano 1 Basin, David A. 1 Béziau, Jean-Yves 1 Bimbó, Katalin 1 Blamey, Stephen 1 Borisavljević, Mirjana 1 Boudou, Joseph 1 Božić, Milan 1 Cabalar, Pedro 1 Carballido, José Luis 1 Castellanos, José Abel 1 Chagrov, Aleksandr Vasil’evich 1 Charatonik, Witold 1 Chvalovský, Karel 1 Cockett, Robin 1 Colacito, Almudena 1 Coya, Brandon 1 Čukić, Sonja Lj. 1 D’Agostino, Marcello 1 Dal Zilio, Silvano ...and 163 more Authors all top 5 Cited in 57 Serials 31 Studia Logica 19 Journal of Philosophical Logic 19 Annals of Pure and Applied Logic 14 The Review of Symbolic Logic 12 Notre Dame Journal of Formal Logic 11 The Journal of Symbolic Logic 9 Logica Universalis 8 Logic and Logical Philosophy 7 Journal of Logic, Language and Information 5 Journal of Pure and Applied Algebra 5 Theoretical Computer Science 5 The Bulletin of Symbolic Logic 4 Communications in Algebra 4 Fuzzy Sets and Systems 4 Journal of Algebra 4 Synthese 4 Archive for Mathematical Logic 3 Algebra and Logic 3 Algebra Universalis 3 Bulletin of the Section of Logic 3 MSCS. Mathematical Structures in Computer Science 3 Indagationes Mathematicae. New Series 3 Applied Categorical Structures 3 Mathematical Logic Quarterly (MLQ) 3 Journal of Applied Logic 2 Publications of the Research Institute for Mathematical Sciences, Kyoto University 2 Information and Computation 2 Journal of Algebraic Combinatorics 2 Journal of Applied Non-Classical Logics 2 Theory and Applications of Categories 2 Topoi 2 Soft Computing 2 Journal of Homotopy and Related Structures 2 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 1 Bulletin of the Australian Mathematical Society 1 Discrete Mathematics 1 Advances in Mathematics 1 Glasgow Mathematical Journal 1 International Journal of Mathematics and Mathematical Sciences 1 Journal of Computer and System Sciences 1 Transactions of the American Mathematical Society 1 Topology and its Applications 1 European Journal of Combinatorics 1 Order 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 SIAM Journal on Discrete Mathematics 1 International Journal of Algebra and Computation 1 Algebra Colloquium 1 Annals of Mathematics and Artificial Intelligence 1 Science in China. Series E 1 Portugaliae Mathematica. Nova Série 1 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika 1 ACM Transactions on Computational Logic 1 The European Physical Journal B. Condensed Matter and Complex Systems 1 Journal of Logical and Algebraic Methods in Programming 1 Arnold Mathematical Journal all top 5 Cited in 19 Fields 215 Mathematical logic and foundations (03-XX) 26 Category theory; homological algebra (18-XX) 23 Computer science (68-XX) 17 Order, lattices, ordered algebraic structures (06-XX) 17 Group theory and generalizations (20-XX) 11 Combinatorics (05-XX) 8 History and biography (01-XX) 8 Convex and discrete geometry (52-XX) 7 Manifolds and cell complexes (57-XX) 6 Algebraic topology (55-XX) 5 Associative rings and algebras (16-XX) 4 General algebraic systems (08-XX) 3 Geometry (51-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Operator theory (47-XX) 1 General topology (54-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.