Kosta Dosen

Publication Activity (10 Years)

Years Active: 1978-2019
Publications (10 Years): 4

Top Topics

Horn Contraction

Natural Deduction

Propositional Logic

Attributed Graphs

Top Venues

Bull. Symb. Log.

Math. Struct. Comput. Sci.

Appl. Categorical Struct.

Publications

Kosta Dosen, Milos Adzic
Gödel on Deduction. Stud Logica 107 (1) (2019)
Kosta Dosen, Milos Adzic
Gödel's Natural Deduction. Stud Logica 106 (2) (2018)
Kosta Dosen, Zoran Petric
Representing Conjunctive Deductions by Disjunctive Deductions. Rev. Symb. Log. 10 (1) (2017)
Milos Adzic, Kosta Dosen
Gödel's Notre Dame Course. Bull. Symb. Log. 22 (4) (2016)
Kosta Dosen, Zoran Petric
Weak Cat-Operads. Log. Methods Comput. Sci. 11 (1) (2015)
Kosta Dosen, Zoran Petric
A Planarity Criterion for Graphs. SIAM J. Discret. Math. 29 (4) (2015)
Kosta Dosen
On Sets of Premises. CoRR (2014)
Kosta Dosen, Zoran Petric
Syntax for split preorders. Ann. Pure Appl. Log. 164 (4) (2013)
Kosta Dosen, Zoran Petric
Graphs of plural cuts. Theor. Comput. Sci. 484 (2013)
Kosta Dosen, Zoran Petric
Shuffles and concatenations in the construction of graphs. Math. Struct. Comput. Sci. 22 (6) (2012)
Kosta Dosen, Zoran Petric
Isomorphic formulae in classical propositional logic. Math. Log. Q. 58 (1-2) (2012)
Kosta Dosen, Zoran Petric
Intermutation. Appl. Categorical Struct. 20 (1) (2012)
Kosta Dosen, Zoran Petric
Coherence for monoidal monads and comonads. Math. Struct. Comput. Sci. 20 (4) (2010)
Kosta Dosen, Zoran Petric
Coherence for monoidal endofunctors. Math. Struct. Comput. Sci. 20 (4) (2010)
Kosta Dosen, Zoran Petric
Coherence in linear predicate logic. Ann. Pure Appl. Log. 158 (1-2) (2009)
Kosta Dosen, Zoran Petric
Equality of proofs for linear equality. Arch. Math. Log. 47 (6) (2008)
Kosta Dosen, Zoran Petric
Medial commutativity. Ann. Pure Appl. Log. 146 (2-3) (2007)
Kosta Dosen, Zoran Petric
Associativity as commutativity. J. Symb. Log. 71 (1) (2006)
Kosta Dosen, Zana Kovijanic Vukicevic, Zoran Petric
A New Proof of the Faithfulness of Brauer's Representation of Temperley-lieb Algebras. Int. J. Algebra Comput. 16 (5) (2006)
Kosta Dosen
Models of Deduction. Synth. 148 (3) (2006)
Kosta Dosen, Zoran Petric
Coherence for star-autonomous categories. Ann. Pure Appl. Log. 141 (1-2) (2006)
Kosta Dosen, Zoran Petric
Negation and Involutive Adjunctions. We Will Show Them! (1) (2005)
Kosta Dosen, Zoran Petric
A Brauerian representation of split preorders. Math. Log. Q. 49 (6) (2003)
Kosta Dosen, Zoran Petric
Generality of proofs and its Brauerian representation. J. Symb. Log. 68 (3) (2003)
Kosta Dosen
Identity of proofs based on normalization and generality. Bull. Symb. Log. 9 (4) (2003)
Kosta Dosen, Zoran Petric
Bicartesian Coherence. Stud Logica 71 (3) (2002)
Kosta Dosen, Zoran Petric
Coherent Bicartesian and Sesquicartesian Categories. Proof Theory in Computer Science (2001)
Kosta Dosen, Zoran Petric
The Maximality of Cartesian Categories. Math. Log. Q. 47 (1) (2001)
Kosta Dosen, Zoran Petric
The Typed Bohm Theorem. Electron. Notes Theor. Comput. Sci. 50 (2) (2001)
Mirjana Borisavljevic, Kosta Dosen, Zoran Petric
On permuting cut with contraction. Math. Struct. Comput. Sci. 10 (2) (2000)
Kosta Dosen, Zoran Petric
Cartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic. J. Symb. Log. 64 (1) (1999)
Kosta Dosen, Zoran Petric
Isomorphic Objects in Symmetric Monoidal Closed Categories. Math. Struct. Comput. Sci. 7 (6) (1997)
Kosta Dosen
Deductive completeness. Bull. Symb. Log. 2 (3) (1996)
Kosta Dosen
Rudimentary Kripke Models for the Intuitionistic Propositional Calculus. Ann. Pure Appl. Log. 62 (1) (1993)
Kosta Dosen
Modal logic as metalogic. J. Log. Lang. Inf. 1 (3) (1992)
Kosta Dosen
Modal translations in substructural logics. J. Philos. Log. 21 (3) (1992)
Kosta Dosen
A Brief Survey of Frames for the Lambek Calculus. Math. Log. Q. 38 (1) (1992)
Kosta Dosen
The first axiomatization of relevant logic. J. Philos. Log. 21 (4) (1992)
Kosta Dosen
Nonmodal Classical Linear Predicate Logic is a Fragment of Intuitionistic Linear Logic. Theor. Comput. Sci. 102 (1) (1992)
Kosta Dosen
Ancestral Kripke Models and Nonhereditary Kripke Models for the Heyting Propositional Calculus. Notre Dame J. Formal Log. 32 (4) (1991)
Kosta Dosen
Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus. J. Log. Comput. 1 (5) (1991)
Kosta Dosen
Sequent-systems and groupoid models. II. Stud Logica 48 (1) (1989)
Kosta Dosen
Duality between modal algebras and neighbourhood frames. Stud Logica 48 (2) (1989)
Kosta Dosen
Logical Constants as Punctuation Marks. Notre Dame J. Formal Log. 30 (3) (1989)
Kosta Dosen
Sequent-systems and groupoid models. I. Stud Logica 47 (4) (1988)
Kosta Dosen, Peter Schroeder-Heister
Uniqueness, Definability and Interpolation. J. Symb. Log. 53 (2) (1988)
Kosta Dosen
A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic. Math. Log. Q. 33 (5) (1987)
Kosta Dosen
Sequent-Systems for Modal Logic. J. Symb. Log. 50 (1) (1985)
Kosta Dosen
A Completeness Theorem for the Lambek Calculus of Syntactic Categories. Math. Log. Q. 31 (14-18) (1985)
Kosta Dosen
An intuitionistic Sheffer function. Notre Dame J. Formal Log. 26 (4) (1985)
Kosta Dosen
Models for stronger normal intuitionistic modal logics. Stud Logica 44 (1) (1985)
Kosta Dosen
A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic. J. Philos. Log. 10 (4) (1981)
Kosta Dosen
A note on the law of identity and the converse Parry property. Notre Dame J. Formal Log. 19 (1) (1978)