×

Došen, Kosta (b. 1954 d. 2017)

Author ID: dosen.kosta Recent zbMATH articles by "Došen, 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

Publications by Year

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 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

Citations by Year