Edit Profile (opens in new tab) Došen, Kosta (b. 1954 d. 2017) Co-Author Distance Author ID: dosen.kosta Published as: Došen, Kosta; Dosen, Kosta External Links: MGP · dblp Documents Indexed: 112 Publications since 1978, including 4 Books and 3 Additional arXiv Preprints 2 Contributions as Editor Biographic References: 1 Publication Co-Authors: 8 Co-Authors with 54 Joint Publications 67 Co-Co-Authors all top 5 Co-Authors 60 single-authored 43 Petrić, Zoran 5 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 Matematička Biblioteka 1 Studies in Logic and Computation 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 95 Mathematical logic and foundations (03-XX) 41 Category theory; homological algebra (18-XX) 8 Group theory and generalizations (20-XX) 7 History and biography (01-XX) 7 Combinatorics (05-XX) 6 Associative rings and algebras (16-XX) 6 Manifolds and cell complexes (57-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 Open 91 Publications have been cited 611 times in 366 Documents Cited by ▼ Year ▼ Models for normal intuitionistic modal logics. Zbl 0634.03014 Božić, Milan; Došen, Kosta 38 1984 Negation as a modal operator. Zbl 0626.03006 Došen, Kosta 28 1986 Sequent-systems and groupoid models. I. Zbl 0671.03018 Došen, Kosta 27 1988 Models for stronger normal intuitionistic modal logics. Zbl 0634.03015 Došen, Kosta 27 1985 Kauffman monoids. Zbl 1025.57015 Borisavljević, Mirjana; Došen, Kosta; Petrić, Zoran 24 2002 Logical constants as punctuation marks. Zbl 0692.03003 Došen, Kosta 24 1989 A brief survey of frames for the Lambek calculus. Zbl 0793.03025 Došen, Kosta 23 1992 Cut elimination in categories. Zbl 0981.03068 Došen, Kosta 19 1999 Identity of proofs based on normalization and generality. Zbl 1058.03061 Došen, Kosta 19 2003 Negative modal operators in intuitionistic logic. Zbl 0555.03011 Došen, Kosta 18 1984 Proof-theoretical coherence. Zbl 1153.03003 Došen, Kosta; Petrić, Zoran 18 2004 Duality between modal algebras and neighbourhood frames. Zbl 0685.03013 Došen, Kosta 17 1989 Sequent-systems for modal logic. Zbl 0562.03009 Došen, Kosta 16 1985 Hypergraph polytopes. Zbl 1222.05193 Došen, Kosta; Petrić, Zoran 16 2011 Sequent-systems and groupoid models. II. Zbl 0688.03012 Došen, Kosta 15 1989 Negation in the light of modal logic. Zbl 0974.03019 Došen, Kosta 14 1999 Modal translations in substructural logics. Zbl 0765.03009 Došen, Kosta 12 1992 Generality of proofs and its Brauerian representation. Zbl 1058.03062 Došen, Kosta; Petrić, Zoran 11 2003 Substructural logics. Seminar for natural-language processing systems of the University of Tübingen, Germany, on 7-8 October 1990. Zbl 0811.68056 10 1994 The first axiomatization of relevant logic. Zbl 0767.03009 Došen, Kosta 9 1992 A Brauerian representation of split preorders. Zbl 1035.03034 Došen, Kosta; Petrić, Zoran 8 2003 A historical introduction to substructural logics. Zbl 0941.03516 Došen, Kosta 8 1994 Self-adjunctions and matrices. Zbl 1043.57007 Došen, Kosta; Petrić, Zoran 8 2003 A completeness theorem for the Lambek calculus of syntactic categories. Zbl 0564.03029 Došen, Kosta 8 1985 Modal translations in \(\mathbf K\) and \(\mathbf D\). Zbl 0824.03007 Došen, Kosta 7 1993 Intuitionistic double negation as a necessity operator. Zbl 0555.03012 Došen, Kosta 7 1984 Proof-net categories. Zbl 1287.03001 Došen, Kosta; Petrić, Zoran 7 2007 On passing from singular to plural consequences. Zbl 0923.03020 Došen, Kosta 6 1999 Isomorphic objects in symmetric monoidal closed categories. Zbl 0897.18004 Došen, Kosta; Petrić, Zoran 6 1997 The maximality of Cartesian categories. Zbl 0978.18001 Došen, Kosta; Petrić, Zoran 6 2001 On the paths of categories. Zbl 1528.03023 Došen, Kosta 6 2016 Associativity as commutativity. Zbl 1099.18006 Došen, Kosta; Petrić, Zoran 5 2006 Deductive completeness. Zbl 0858.03063 Došen, Kosta 5 1996 Logical constants as punctuation marks. Zbl 0827.03002 Došen, Kosta 5 1994 Axiomatizations of intuitionistic double negation. Zbl 0542.03007 Božić, Milan; Došen, Kosta 5 1983 Syntax for split preorders. Zbl 1262.18003 Došen, Kosta; Petrić, Zoran 5 2013 Models of deduction. Zbl 1103.03052 Došen, Kosta 4 2006 Uniqueness, definability and interpolation. Zbl 0651.03026 Došen, Kosta; Schroeder-Heister, Peter 4 1988 Abstraction and application in adjunction. Zbl 1002.18001 Došen, Kosta 4 2001 On permuting cut with contraction. Zbl 0949.03054 Borisavljević, Mirjana; Došen, Kosta; Petrić, Zoran 4 2000 The maximality of the typed lambda calculus and of cartesian closed categories. Zbl 0968.03019 Došen, Kosta; Petrić, Zoran 4 2000 An intuitionistic Sheffer function. Zbl 0589.03002 Došen, Kosta 4 1985 Weak Cat-operads. Zbl 1351.18010 Došen, Kosta; Petrić, Zoran 4 2015 A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic. Zbl 0473.03008 Dosen, Kosta 4 1981 Simplicial endomorphisms. Zbl 1148.55013 Došen, Kosta 3 2008 Equality in substructural logics. Zbl 0858.03031 Došen, Kosta 3 1996 Negation and impossibility. Zbl 0651.03003 Došen, Kosta 3 1987 Coherence in linear predicate logic. Zbl 1168.03046 Došen, Kosta; Petrić, Zoran 3 2009 Inferential semantics. Zbl 1429.03023 Došen, Kosta 3 2015 Logic lectures. Gödel’s basic logic course at Notre Dame. Zbl 1423.03001 3 2017 Modal translations and intuitionistic double negation. Zbl 0607.03006 Došen, Kosta 3 1986 Conservativeness and uniqueness. Zbl 0611.03011 Došen, Kosta; Schroeder-Heister, Peter 3 1985 A note on Gentzen’s decision procedure for intuitionistic propositional logic. Zbl 0612.03010 Došen, Kosta 3 1987 The typed Böhm theorem. Zbl 1261.03075 Došen, Kosta; Petrić, Zoran 3 2001 Symmetric self-adjunctions and matrices. Zbl 1294.18002 Došen, Kosta; Petrić, Zoran 3 2012 Gödel’s Notre Dame course. Zbl 1380.03003 Adžić, Miloš; Došen, Kosta 3 2016 Symmetric self-adjunctions: a justification of Brauer’s representation of Brauer’s algebras. Zbl 1224.14010 Došen, Kosta; Petrić, Zoran 3 2006 Normal modal logics in which the Heyting propositional calculus can be embedded. Zbl 0784.03015 Došen, Kosta 3 1990 Coherence for modalities. Zbl 1222.03025 Došen, Kosta; Petrić, Zoran 3 2011 A prologue to the theory of deduction. Zbl 1261.03027 Došen, Kosta 3 2011 Intermutation. Zbl 1258.18004 Došen, Kosta; Petrić, Zoran 2 2012 Modal logic as metalogic. Zbl 0793.03011 Došen, Kosta 2 1992 Coherence for star-autonomous categories. Zbl 1106.18004 Došen, Kosta; Petrić, Zoran 2 2006 Gödel on deduction. Zbl 07055411 Došen, Kosta; Adžić, Miloš 2 2019 Gödel’s natural deduction. Zbl 1417.03008 Došen, Kosta; Adžić, Miloš 2 2018 Logical consequence: A turn in style. Zbl 0906.03055 Došen, Kosta 2 1997 Cartesian isomorphisms are symmetric monoidal: A justification of linear logic. Zbl 0928.03070 Došen, Kosta; Petrić, Zoran 2 1999 Modal functional completeness. Zbl 0862.03008 Došen, Kosta; Petrić, Zoran 2 1996 Bicartesian coherence. Zbl 1008.18001 Došen, Kosta; Petrić, Zoran 2 2002 Equality of proofs for linear equality. Zbl 1159.03039 Došen, Kosta; Petrić, Zoran 2 2008 Higher-level sequent-systems for intuitionistic modal logic. Zbl 0597.03011 Došen, Kosta 2 1986 Bicartesian coherence revisited. Zbl 1351.18001 Došen, Kosta; Petrić, Zoran 2 2009 Coherence of proof-net categories. Zbl 1274.03089 Došen, Kosta; Petrić, Zoran 2 2005 A new proof of the faithfulness of Brauer’s representation of Temperley-Lieb algebras. Zbl 1107.57009 Došen, Kosta; Kovijanić, Žana; Petrić, Zoran 1 2006 Functions redefined. Zbl 0919.04001 Došen, Kosta 1 1998 Substructural predicates. Zbl 0858.03032 Došen, Kosta 1 1996 A note on the law of identity and the converse Parry property. Zbl 0368.02027 Dosen, Kosta 1 1978 Medial commutativity. Zbl 1120.18005 Došen, Kosta; Petrić, Zoran 1 2007 Relevant categories and partial functions. Zbl 1164.03002 Došen, Kosta; Petrić, Zoran 1 2007 On sets of premises. Zbl 1433.03128 Došen, Kosta 1 2016 Graphs of plural cuts. Zbl 1315.03110 Došen, Kosta; Petrić, Zoran 1 2013 Isomorphic formulae in classical propositional logic. Zbl 1262.03119 Došen, Kosta; Petrić, Zoran 1 2012 General proof theory. Zbl 1366.03234 Došen, Kosta 1 2014 A planarity criterion for graphs. Zbl 1327.05074 Došen, Kosta; Petrić, Zoran 1 2015 Second-order logic without variables. Zbl 0694.03008 Došen, Kosta 1 1988 Modal translations of Heyting and Peano arithmetic. Zbl 0726.03009 Došen, Kosta 1 1990 Rudimentary Beth models and conditionally rudimentary Kripke models for the Heyting propositional calculus. Zbl 0754.03007 Došen, Kosta 1 1991 Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus. Zbl 0754.03008 Došen, Kosta 1 1991 Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic. Zbl 0762.03005 Došen, Kosta 1 1992 Shuffles and concatenations in the construction of graphs. Zbl 1266.05103 Došen, Kosta; Petrić, Zoran 1 2012 Ordinals in Frobenius monads. Zbl 1288.03047 Došen, Kosta; Petrić, Zoran 1 2013 Gödel on deduction. Zbl 07055411 Došen, Kosta; Adžić, Miloš 2 2019 Gödel’s natural deduction. Zbl 1417.03008 Došen, Kosta; Adžić, Miloš 2 2018 Logic lectures. Gödel’s basic logic course at Notre Dame. Zbl 1423.03001 3 2017 On the paths of categories. Zbl 1528.03023 Došen, Kosta 6 2016 Gödel’s Notre Dame course. Zbl 1380.03003 Adžić, Miloš; Došen, Kosta 3 2016 On sets of premises. Zbl 1433.03128 Došen, Kosta 1 2016 Weak Cat-operads. Zbl 1351.18010 Došen, Kosta; Petrić, Zoran 4 2015 Inferential semantics. Zbl 1429.03023 Došen, Kosta 3 2015 A planarity criterion for graphs. Zbl 1327.05074 Došen, Kosta; Petrić, Zoran 1 2015 General proof theory. Zbl 1366.03234 Došen, Kosta 1 2014 Syntax for split preorders. Zbl 1262.18003 Došen, Kosta; Petrić, Zoran 5 2013 Graphs of plural cuts. Zbl 1315.03110 Došen, Kosta; Petrić, Zoran 1 2013 Ordinals in Frobenius monads. Zbl 1288.03047 Došen, Kosta; Petrić, Zoran 1 2013 Symmetric self-adjunctions and matrices. Zbl 1294.18002 Došen, Kosta; Petrić, Zoran 3 2012 Intermutation. Zbl 1258.18004 Došen, Kosta; Petrić, Zoran 2 2012 Isomorphic formulae in classical propositional logic. Zbl 1262.03119 Došen, Kosta; Petrić, Zoran 1 2012 Shuffles and concatenations in the construction of graphs. Zbl 1266.05103 Došen, Kosta; Petrić, Zoran 1 2012 Hypergraph polytopes. Zbl 1222.05193 Došen, Kosta; Petrić, Zoran 16 2011 Coherence for modalities. Zbl 1222.03025 Došen, Kosta; Petrić, Zoran 3 2011 A prologue to the theory of deduction. Zbl 1261.03027 Došen, Kosta 3 2011 Coherence in linear predicate logic. Zbl 1168.03046 Došen, Kosta; Petrić, Zoran 3 2009 Bicartesian coherence revisited. Zbl 1351.18001 Došen, Kosta; Petrić, Zoran 2 2009 Simplicial endomorphisms. Zbl 1148.55013 Došen, Kosta 3 2008 Equality of proofs for linear equality. Zbl 1159.03039 Došen, Kosta; Petrić, Zoran 2 2008 Proof-net categories. Zbl 1287.03001 Došen, Kosta; Petrić, Zoran 7 2007 Medial commutativity. Zbl 1120.18005 Došen, Kosta; Petrić, Zoran 1 2007 Relevant categories and partial functions. Zbl 1164.03002 Došen, Kosta; Petrić, Zoran 1 2007 Associativity as commutativity. Zbl 1099.18006 Došen, Kosta; Petrić, Zoran 5 2006 Models of deduction. Zbl 1103.03052 Došen, Kosta 4 2006 Symmetric self-adjunctions: a justification of Brauer’s representation of Brauer’s algebras. Zbl 1224.14010 Došen, Kosta; Petrić, Zoran 3 2006 Coherence for star-autonomous categories. Zbl 1106.18004 Došen, Kosta; Petrić, Zoran 2 2006 A new proof of the faithfulness of Brauer’s representation of Temperley-Lieb algebras. Zbl 1107.57009 Došen, Kosta; Kovijanić, Žana; Petrić, Zoran 1 2006 Coherence of proof-net categories. Zbl 1274.03089 Došen, Kosta; Petrić, Zoran 2 2005 Proof-theoretical coherence. Zbl 1153.03003 Došen, Kosta; Petrić, Zoran 18 2004 Identity of proofs based on normalization and generality. Zbl 1058.03061 Došen, Kosta 19 2003 Generality of proofs and its Brauerian representation. Zbl 1058.03062 Došen, Kosta; Petrić, Zoran 11 2003 A Brauerian representation of split preorders. Zbl 1035.03034 Došen, Kosta; Petrić, Zoran 8 2003 Self-adjunctions and matrices. Zbl 1043.57007 Došen, Kosta; Petrić, Zoran 8 2003 Kauffman monoids. Zbl 1025.57015 Borisavljević, Mirjana; Došen, Kosta; Petrić, Zoran 24 2002 Bicartesian coherence. Zbl 1008.18001 Došen, Kosta; Petrić, Zoran 2 2002 The maximality of Cartesian categories. Zbl 0978.18001 Došen, Kosta; Petrić, Zoran 6 2001 Abstraction and application in adjunction. Zbl 1002.18001 Došen, Kosta 4 2001 The typed Böhm theorem. Zbl 1261.03075 Došen, Kosta; Petrić, Zoran 3 2001 On permuting cut with contraction. Zbl 0949.03054 Borisavljević, Mirjana; Došen, Kosta; Petrić, Zoran 4 2000 The maximality of the typed lambda calculus and of cartesian closed categories. Zbl 0968.03019 Došen, Kosta; Petrić, Zoran 4 2000 Cut elimination in categories. Zbl 0981.03068 Došen, Kosta 19 1999 Negation in the light of modal logic. Zbl 0974.03019 Došen, Kosta 14 1999 On passing from singular to plural consequences. Zbl 0923.03020 Došen, Kosta 6 1999 Cartesian isomorphisms are symmetric monoidal: A justification of linear logic. Zbl 0928.03070 Došen, Kosta; Petrić, Zoran 2 1999 Functions redefined. Zbl 0919.04001 Došen, Kosta 1 1998 Isomorphic objects in symmetric monoidal closed categories. Zbl 0897.18004 Došen, Kosta; Petrić, Zoran 6 1997 Logical consequence: A turn in style. Zbl 0906.03055 Došen, Kosta 2 1997 Deductive completeness. Zbl 0858.03063 Došen, Kosta 5 1996 Equality in substructural logics. Zbl 0858.03031 Došen, Kosta 3 1996 Modal functional completeness. Zbl 0862.03008 Došen, Kosta; Petrić, Zoran 2 1996 Substructural predicates. Zbl 0858.03032 Doš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.68056 10 1994 A historical introduction to substructural logics. Zbl 0941.03516 Došen, Kosta 8 1994 Logical constants as punctuation marks. Zbl 0827.03002 Došen, Kosta 5 1994 Modal translations in \(\mathbf K\) and \(\mathbf D\). Zbl 0824.03007 Došen, Kosta 7 1993 A brief survey of frames for the Lambek calculus. Zbl 0793.03025 Došen, Kosta 23 1992 Modal translations in substructural logics. Zbl 0765.03009 Došen, Kosta 12 1992 The first axiomatization of relevant logic. Zbl 0767.03009 Došen, Kosta 9 1992 Modal logic as metalogic. Zbl 0793.03011 Došen, Kosta 2 1992 Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic. Zbl 0762.03005 Došen, Kosta 1 1992 Rudimentary Beth models and conditionally rudimentary Kripke models for the Heyting propositional calculus. Zbl 0754.03007 Došen, Kosta 1 1991 Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus. Zbl 0754.03008 Došen, Kosta 1 1991 Normal modal logics in which the Heyting propositional calculus can be embedded. Zbl 0784.03015 Došen, Kosta 3 1990 Modal translations of Heyting and Peano arithmetic. Zbl 0726.03009 Došen, Kosta 1 1990 Logical constants as punctuation marks. Zbl 0692.03003 Došen, Kosta 24 1989 Duality between modal algebras and neighbourhood frames. Zbl 0685.03013 Došen, Kosta 17 1989 Sequent-systems and groupoid models. II. Zbl 0688.03012 Došen, Kosta 15 1989 Sequent-systems and groupoid models. I. Zbl 0671.03018 Došen, Kosta 27 1988 Uniqueness, definability and interpolation. Zbl 0651.03026 Došen, Kosta; Schroeder-Heister, Peter 4 1988 Second-order logic without variables. Zbl 0694.03008 Došen, Kosta 1 1988 Negation and impossibility. Zbl 0651.03003 Došen, Kosta 3 1987 A note on Gentzen’s decision procedure for intuitionistic propositional logic. Zbl 0612.03010 Došen, Kosta 3 1987 Negation as a modal operator. Zbl 0626.03006 Došen, Kosta 28 1986 Modal translations and intuitionistic double negation. Zbl 0607.03006 Došen, Kosta 3 1986 Higher-level sequent-systems for intuitionistic modal logic. Zbl 0597.03011 Došen, Kosta 2 1986 Models for stronger normal intuitionistic modal logics. Zbl 0634.03015 Došen, Kosta 27 1985 Sequent-systems for modal logic. Zbl 0562.03009 Došen, Kosta 16 1985 A completeness theorem for the Lambek calculus of syntactic categories. Zbl 0564.03029 Došen, Kosta 8 1985 An intuitionistic Sheffer function. Zbl 0589.03002 Došen, Kosta 4 1985 Conservativeness and uniqueness. Zbl 0611.03011 Došen, Kosta; Schroeder-Heister, Peter 3 1985 Models for normal intuitionistic modal logics. Zbl 0634.03014 Božić, Milan; Došen, Kosta 38 1984 Negative modal operators in intuitionistic logic. Zbl 0555.03011 Došen, Kosta 18 1984 Intuitionistic double negation as a necessity operator. Zbl 0555.03012 Došen, Kosta 7 1984 Axiomatizations of intuitionistic double negation. Zbl 0542.03007 Božić, Milan; Došen, Kosta 5 1983 A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic. Zbl 0473.03008 Dosen, Kosta 4 1981 A note on the law of identity and the converse Parry property. Zbl 0368.02027 Dosen, Kosta 1 1978 all cited Publications top 5 cited Publications all top 5 Cited by 366 Authors 30 Došen, Kosta 26 Petrić, Zoran 12 East, James 11 Wansing, Heinrich Theodor 8 Drobyshevich, Sergeĭ Andreevich 6 Celani, Sergio Arturo 6 Francez, Nissim 6 Schroeder-Heister, Peter Joseph 5 Hartonas, Chrysafis 5 Humberstone, Lloyd 5 Litak, Tadeusz 5 Obradović, Jovana 4 De Groot, Jim 4 Dolinka, Igor 4 Gabbay, Dov M. 4 Odintsov, Sergei P. 4 Ono, Hiroakira 4 Ruškuc, Nik 4 Standefer, Shawn 4 Straßburger, Lutz 4 Volkov, Mikhail Vladimirovich 3 Baralić, Đorđe 3 Buszkowski, Wojciech 3 Curien, Pierre-Louis 3 de Jongh, Dick H. J. 3 FitzGerald, Desmond G. 3 Iemhoff, Rosalie 3 Indrzejczak, Andrzej 3 Kamide, Norihiro 3 Kaminski, Michael 3 Kitov, Nikita V. 3 Ma, Minghui 3 MacCaull, Wendy 3 Mitchell, James D. 3 Moortgat, Michael 3 Mruczek-Nasieniewska, Krystyna 3 Nasieniewski, Marek 3 Niki, Satoru 3 Pattinson, Dirk 3 Pistone, Paolo 3 Punčochář, Vít 3 Restall, Greg 3 Schuster, Peter Michael 3 Tranchini, Luca 3 van Benthem, Johan F. A. K. 3 Živaljević, Rade T. 2 Adžić, Miloš 2 Allo, Patrick 2 Arazim, Pavel 2 Askounis, Dimitris 2 Auinger, Karl 2 Bernardi, Raffaella 2 Borisavljević, Mirjana 2 Chen, Yuzhu 2 Dicher, Bogdan 2 Dunn, Jon Michael 2 Dyckhoff, Roy 2 Font, Josep Maria 2 Goldblatt, Robert Ian 2 Heijltjes, Willem B. 2 Hu, Xun 2 Jansana, Ramon 2 Jevtić, Filip D. 2 Koutras, Costas D. 2 Lau, Kwok Wai 2 Linton, Abigail 2 Luo, Yan Feng 2 Marcos, João 2 Montangie, Daniela 2 Morsi, Nehad Nashaat 2 Onishi, Takuro 2 Orlandelli, Eugenio 2 Paoli, Francesco 2 Petrolo, Mattia 2 Pezlar, Ivo 2 Pilaud, Vincent 2 Poggiolesi, Francesca 2 Priest, Graham 2 Prijatelj, Andreja 2 Protopopescu, Tudor 2 Rinaldi, Davide 2 Scott, Philip J. 2 Shirmohammadzadeh Maleki, Fatemeh 2 Shkatov, Dmitry 2 Shramko, Yaroslav V. 2 Solov’ëv, Sergeĭ Vladimirovich 2 Surendonk, Timothy J. 2 Suzuki, Tomoyuki 2 Tanaka, Yoshihito 2 Tedder, Andrew 2 Venema, Yde 2 Wessel, Daniel 2 Wijesekera, Duminda 2 Witczak, Tomasz 2 Zekić, Mladen 2 Zikos, Yorgos 1 Acclavio, Matteo 1 Agerholm, Troels 1 Akbar Tabatabai, Amirhossein 1 Alechina, Natasha ...and 266 more Authors all top 5 Cited in 68 Serials 49 Studia Logica 27 Journal of Philosophical Logic 21 The Review of Symbolic Logic 20 Annals of Pure and Applied Logic 15 Notre Dame Journal of Formal Logic 12 Synthese 11 The Journal of Symbolic Logic 10 Logica Universalis 8 Journal of Logic, Language and Information 8 The Bulletin of Symbolic Logic 7 Journal of Pure and Applied Algebra 7 Logic and Logical Philosophy 6 Advances in Mathematics 6 Mathematical Logic Quarterly (MLQ) 5 Algebra Universalis 5 Journal of Algebra 5 Theoretical Computer Science 5 Archive for Mathematical Logic 5 Logical Methods in Computer Science 4 Communications in Algebra 4 Algebra and Logic 4 Fuzzy Sets and Systems 4 Bulletin of the Section of Logic 3 History and Philosophy of Logic 3 Information and Computation 3 MSCS. Mathematical Structures in Computer Science 3 Indagationes Mathematicae. New Series 3 Applied Categorical Structures 3 Theory and Applications of Categories 3 Topoi 3 Journal of Applied Logic 2 Publications of the Research Institute for Mathematical Sciences, Kyoto University 2 Topology and its Applications 2 European Journal of Combinatorics 2 International Journal of Algebra and Computation 2 Journal of Algebraic Combinatorics 2 Journal of Applied Non-Classical Logics 2 Soft Computing 2 ACM Transactions on Computational Logic 2 Journal of Homotopy and Related Structures 2 Applicable Analysis and Discrete Mathematics 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 Archiv der Mathematik 1 Glasgow Mathematical Journal 1 International Journal of Mathematics and Mathematical Sciences 1 Journal of Computer and System Sciences 1 Memoirs of the American Mathematical Society 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Transactions of the American Mathematical Society 1 Order 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 SIAM Journal on Discrete Mathematics 1 Algebra Colloquium 1 Annals of Mathematics and Artificial Intelligence 1 Science in China. Series E 1 Erkenntnis 1 Communications of the Korean Mathematical Society 1 Moscow Mathematical Journal 1 Portugaliae Mathematica. Nova Série 1 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika 1 Natural Computing 1 The Journal of Prime Research in Mathematics 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 26 Fields 303 Mathematical logic and foundations (03-XX) 39 Category theory; homological algebra (18-XX) 36 Computer science (68-XX) 26 Group theory and generalizations (20-XX) 23 Order, lattices, ordered algebraic structures (06-XX) 17 History and biography (01-XX) 15 Combinatorics (05-XX) 14 Convex and discrete geometry (52-XX) 9 Algebraic topology (55-XX) 8 Manifolds and cell complexes (57-XX) 6 Associative rings and algebras (16-XX) 5 General and overarching topics; collections (00-XX) 4 General algebraic systems (08-XX) 4 Geometry (51-XX) 3 Commutative algebra (13-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 General topology (54-XX) 1 Sequences, series, summability (40-XX) 1 Operator theory (47-XX) 1 Differential geometry (53-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year