×

zbMATH — the first resource for mathematics

Došen, Kosta

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

Publications by Year

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.03014
Božić, Milan; Došen, Kosta
26
1984
Sequent-systems and groupoid models. I. Zbl 0671.03018
Došen, Kosta
23
1988
Models for stronger normal intuitionistic modal logics. Zbl 0634.03015
Došen, Kosta
20
1985
A brief survey of frames for the Lambek calculus. Zbl 0793.03025
Došen, Kosta
17
1992
Logical constants as punctuation marks. Zbl 0692.03003
Došen, Kosta
17
1989
Negation as a modal operator. Zbl 0626.03006
Došen, Kosta
17
1986
Kauffman monoids. Zbl 1025.57015
Borisavljević, Mirjana; Došen, Kosta; Petrić, Zoran
15
2002
Sequent-systems for modal logic. Zbl 0562.03009
Došen, Kosta
13
1985
Negative modal operators in intuitionistic logic. Zbl 0555.03011
Došen, Kosta
13
1984
Proof-theoretical coherence. Zbl 1153.03003
Došen, Kosta; Petrić, Zoran
12
2004
Cut elimination in categories. Zbl 0981.03068
Došen, Kosta
12
1999
Sequent-systems and groupoid models. II. Zbl 0688.03012
Došen, Kosta
12
1989
Identity of proofs based on normalization and generality. Zbl 1058.03061
Došen, Kosta
11
2003
Duality between modal algebras and neighbourhood frames. Zbl 0685.03013
Došen, Kosta
11
1989
Generality of proofs and its Brauerian representation. Zbl 1058.03062
Došen, Kosta; Petrić, Zoran
10
2003
Modal translations in substructural logics. Zbl 0765.03009
Došen, Kosta
10
1992
Hypergraph polytopes. Zbl 1222.05193
Došen, Kosta; Petrić, Zoran
8
2011
A Brauerian representation of split preorders. Zbl 1035.03034
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
Self-adjunctions and matrices. Zbl 1043.57007
Došen, Kosta; Petrić, Zoran
7
2003
Negation in the light of modal logic. Zbl 0974.03019
Doš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.68056
Schroeder-Heister, Peter (ed.); Došen, Kosta (ed.)
7
1994
Proof-net categories. Zbl 1287.03001
Došen, Kosta; Petrić, Zoran
6
2007
Isomorphic objects in symmetric monoidal closed categories. Zbl 0897.18004
Došen, Kosta; Petrić, Zoran
6
1997
A historical introduction to substructural logics. Zbl 0941.03516
Došen, Kosta
6
1994
Intuitionistic double negation as a necessity operator. Zbl 0555.03012
Došen, Kosta
6
1984
The maximality of Cartesian categories. Zbl 0978.18001
Došen, Kosta; Petrić, Zoran
5
2001
The first axiomatization of relevant logic. Zbl 0767.03009
Došen, Kosta
5
1992
Associativity as commutativity. Zbl 1099.18006
Došen, Kosta; Petrić, Zoran
4
2006
On passing from singular to plural consequences. Zbl 0923.03020
Došen, Kosta
4
1999
Logical constants as punctuation marks. Zbl 0827.03002
Došen, Kosta
4
1994
Gödel’s Notre Dame course. Zbl 1380.03003
Adžić, Miloš; Došen, Kosta
3
2016
Syntax for split preorders. Zbl 1262.18003
Došen, Kosta; Petrić, Zoran
3
2013
Symmetric self-adjunctions and matrices. Zbl 1294.18002
Došen, Kosta; Petrić, Zoran
3
2012
A prologue to the theory of deduction. Zbl 1261.03027
Došen, Kosta
3
2011
The typed Böhm theorem. Zbl 1261.03075
Došen, Kosta; Petrić, Zoran
3
2001
The maximality of the typed lambda calculus and of cartesian closed categories. Zbl 0968.03019
Došen, Kosta; Petrić, Zoran
3
2000
On permuting cut with contraction. Zbl 0949.03054
Borisavljević, Mirjana; Došen, Kosta; Petrić, Zoran
3
2000
Deductive completeness. Zbl 0858.03063
Došen, Kosta
3
1996
Equality in substructural logics. Zbl 0858.03031
Došen, Kosta
3
1996
Modal translations in \(\mathbf K\) and \(\mathbf D\). Zbl 0824.03007
Došen, Kosta
3
1993
Normal modal logics in which the Heyting propositional calculus can be embedded. Zbl 0784.03015
Došen, Kosta
3
1990
Uniqueness, definability and interpolation. Zbl 0651.03026
Došen, Kosta; Schroeder-Heister, Peter
3
1988
A note on Gentzen’s decision procedure for intuitionistic propositional logic. Zbl 0612.03010
Došen, Kosta
3
1987
Modal translations and intuitionistic double negation. Zbl 0607.03006
Došen, Kosta
3
1986
Axiomatizations of intuitionistic double negation. Zbl 0542.03007
Bož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.03008
Dosen, Kosta
3
1981
Weak Cat-operads. Zbl 1351.18010
Došen, Kosta; Petrić, Zoran
2
2015
Intermutation. Zbl 1258.18004
Došen, Kosta; Petrić, Zoran
2
2012
Coherence for modalities. Zbl 1222.03025
Došen, Kosta; Petrić, Zoran
2
2011
Bicartesian coherence revisited. Zbl 1351.18001
Došen, Kosta; Petrić, Zoran
2
2009
Coherence in linear predicate logic. Zbl 1168.03046
Došen, Kosta; Petrić, Zoran
2
2009
Equality of proofs for linear equality. Zbl 1159.03039
Došen, Kosta; Petrić, Zoran
2
2008
Simplicial endomorphisms. Zbl 1148.55013
Došen, Kosta
2
2008
Symmetric self-adjunctions: a justification of Brauer’s representation of Brauer’s algebras. Zbl 1224.14010
Došen, Kosta; Petrić, Zoran
2
2006
Models of deduction. Zbl 1103.03052
Došen, Kosta
2
2006
Coherence for star-autonomous categories. Zbl 1106.18004
Došen, Kosta; Petrić, Zoran
2
2006
Coherence of proof-net categories. Zbl 1274.03089
Došen, Kosta; Petrić, Zoran
2
2005
Bicartesian coherence. Zbl 1008.18001
Došen, Kosta; Petrić, Zoran
2
2002
Abstraction and application in adjunction. Zbl 1002.18001
Došen, Kosta
2
2001
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
Modal logic as metalogic. Zbl 0793.03011
Došen, Kosta
2
1992
Negation and impossibility. Zbl 0651.03003
Došen, Kosta
2
1987
Conservativeness and uniqueness. Zbl 0611.03011
Došen, Kosta; Schroeder-Heister, Peter
2
1985
An intuitionistic Sheffer function. Zbl 0589.03002
Došen, Kosta
2
1985
Gödel’s natural deduction. Zbl 1417.03008
Došen, Kosta; Adžić, Miloš
1
2018
A planarity criterion for graphs. Zbl 1327.05074
Došen, Kosta; Petrić, Zoran
1
2015
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
Shuffles and concatenations in the construction of graphs. Zbl 1266.05103
Došen, Kosta; Petrić, Zoran
1
2012
Medial commutativity. Zbl 1120.18005
Došen, Kosta; Petrić, Zoran
1
2007
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
Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus. Zbl 0754.03008
Došen, Kosta
1
1991
Rudimentary Beth models and conditionally rudimentary Kripke models for the Heyting propositional calculus. Zbl 0754.03007
Došen, Kosta
1
1991
Modal translations of Heyting and Peano arithmetic. Zbl 0726.03009
Došen, Kosta
1
1990
Second-order logic without variables. Zbl 0694.03008
Došen, Kosta
1
1988
Higher-level sequent-systems for intuitionistic modal logic. Zbl 0597.03011
Došen, Kosta
1
1986
A note on the law of identity and the converse Parry property. Zbl 0368.02027
Dosen, Kosta
1
1978
Gödel’s natural deduction. Zbl 1417.03008
Došen, Kosta; Adžić, Miloš
1
2018
Gödel’s Notre Dame course. Zbl 1380.03003
Adžić, Miloš; Došen, Kosta
3
2016
Weak Cat-operads. Zbl 1351.18010
Došen, Kosta; Petrić, Zoran
2
2015
A planarity criterion for graphs. Zbl 1327.05074
Došen, Kosta; Petrić, Zoran
1
2015
Syntax for split preorders. Zbl 1262.18003
Došen, Kosta; Petrić, Zoran
3
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
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
8
2011
A prologue to the theory of deduction. Zbl 1261.03027
Došen, Kosta
3
2011
Coherence for modalities. Zbl 1222.03025
Došen, Kosta; Petrić, Zoran
2
2011
Bicartesian coherence revisited. Zbl 1351.18001
Došen, Kosta; Petrić, Zoran
2
2009
Coherence in linear predicate logic. Zbl 1168.03046
Došen, Kosta; Petrić, Zoran
2
2009
Equality of proofs for linear equality. Zbl 1159.03039
Došen, Kosta; Petrić, Zoran
2
2008
Simplicial endomorphisms. Zbl 1148.55013
Došen, Kosta
2
2008
Proof-net categories. Zbl 1287.03001
Došen, Kosta; Petrić, Zoran
6
2007
Medial commutativity. Zbl 1120.18005
Došen, Kosta; Petrić, Zoran
1
2007
Associativity as commutativity. Zbl 1099.18006
Došen, Kosta; Petrić, Zoran
4
2006
Symmetric self-adjunctions: a justification of Brauer’s representation of Brauer’s algebras. Zbl 1224.14010
Došen, Kosta; Petrić, Zoran
2
2006
Models of deduction. Zbl 1103.03052
Došen, Kosta
2
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
12
2004
Identity of proofs based on normalization and generality. Zbl 1058.03061
Došen, Kosta
11
2003
Generality of proofs and its Brauerian representation. Zbl 1058.03062
Došen, Kosta; Petrić, Zoran
10
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
7
2003
Kauffman monoids. Zbl 1025.57015
Borisavljević, Mirjana; Došen, Kosta; Petrić, Zoran
15
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
5
2001
The typed Böhm theorem. Zbl 1261.03075
Došen, Kosta; Petrić, Zoran
3
2001
Abstraction and application in adjunction. Zbl 1002.18001
Došen, Kosta
2
2001
The maximality of the typed lambda calculus and of cartesian closed categories. Zbl 0968.03019
Došen, Kosta; Petrić, Zoran
3
2000
On permuting cut with contraction. Zbl 0949.03054
Borisavljević, Mirjana; Došen, Kosta; Petrić, Zoran
3
2000
Cut elimination in categories. Zbl 0981.03068
Došen, Kosta
12
1999
Negation in the light of modal logic. Zbl 0974.03019
Došen, Kosta
7
1999
On passing from singular to plural consequences. Zbl 0923.03020
Došen, Kosta
4
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
Deductive completeness. Zbl 0858.03063
Došen, Kosta
3
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
Schroeder-Heister, Peter (ed.); Došen, Kosta (ed.)
7
1994
A historical introduction to substructural logics. Zbl 0941.03516
Došen, Kosta
6
1994
Logical constants as punctuation marks. Zbl 0827.03002
Došen, Kosta
4
1994
Modal translations in \(\mathbf K\) and \(\mathbf D\). Zbl 0824.03007
Došen, Kosta
3
1993
A brief survey of frames for the Lambek calculus. Zbl 0793.03025
Došen, Kosta
17
1992
Modal translations in substructural logics. Zbl 0765.03009
Došen, Kosta
10
1992
The first axiomatization of relevant logic. Zbl 0767.03009
Došen, Kosta
5
1992
Modal logic as metalogic. Zbl 0793.03011
Došen, Kosta
2
1992
Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus. Zbl 0754.03008
Došen, Kosta
1
1991
Rudimentary Beth models and conditionally rudimentary Kripke models for the Heyting propositional calculus. Zbl 0754.03007
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
17
1989
Sequent-systems and groupoid models. II. Zbl 0688.03012
Došen, Kosta
12
1989
Duality between modal algebras and neighbourhood frames. Zbl 0685.03013
Došen, Kosta
11
1989
Sequent-systems and groupoid models. I. Zbl 0671.03018
Došen, Kosta
23
1988
Uniqueness, definability and interpolation. Zbl 0651.03026
Došen, Kosta; Schroeder-Heister, Peter
3
1988
Second-order logic without variables. Zbl 0694.03008
Došen, Kosta
1
1988
A note on Gentzen’s decision procedure for intuitionistic propositional logic. Zbl 0612.03010
Došen, Kosta
3
1987
Negation and impossibility. Zbl 0651.03003
Došen, Kosta
2
1987
Negation as a modal operator. Zbl 0626.03006
Došen, Kosta
17
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
1
1986
Models for stronger normal intuitionistic modal logics. Zbl 0634.03015
Došen, Kosta
20
1985
Sequent-systems for modal logic. Zbl 0562.03009
Došen, Kosta
13
1985
A completeness theorem for the Lambek calculus of syntactic categories. Zbl 0564.03029
Došen, Kosta
8
1985
Conservativeness and uniqueness. Zbl 0611.03011
Došen, Kosta; Schroeder-Heister, Peter
2
1985
An intuitionistic Sheffer function. Zbl 0589.03002
Došen, Kosta
2
1985
Models for normal intuitionistic modal logics. Zbl 0634.03014
Božić, Milan; Došen, Kosta
26
1984
Negative modal operators in intuitionistic logic. Zbl 0555.03011
Došen, Kosta
13
1984
Intuitionistic double negation as a necessity operator. Zbl 0555.03012
Došen, Kosta
6
1984
Axiomatizations of intuitionistic double negation. Zbl 0542.03007
Bož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.03008
Dosen, Kosta
3
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 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

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.