Kosta Dosen - RankMe

55 papers Journal 50Unranked 3

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