@ARTICLE{
author={Dosen Kosta M,Adzic Milos R},
year={2019},
title={Godel on Deduction},
journal={STUDIA LOGICA},
volume={107},
number={1},
pages={31-51},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Adzic Milos R},
year={2018},
title={Godel's Natural Deduction},
journal={STUDIA LOGICA},
volume={106},
number={2},
pages={397-415},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2017},
title={Representing Conjunctive Deductions by Disjunctive Deductions},
journal={REVIEW OF SYMBOLIC LOGIC},
volume={10},
number={1},
pages={145-157},
document_type={Article},
} 

@ARTICLE{
author={Adzic Milos R,Dosen Kosta M},
year={2016},
title={Godel's Notre Dame Course},
journal={BULLETIN OF SYMBOLIC LOGIC},
volume={22},
number={4},
pages={469-481},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M},
year={2016},
title={On Sets of Premises},
journal={CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE},
volume={6},
number={},
pages={151-162},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2015},
title={A Planarity Criterion for Graphs},
journal={SIAM JOURNAL ON DISCRETE MATHEMATICS},
volume={29},
number={4},
pages={2160-2165},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M},
year={2015},
title={Inferential Semantics},
journal={DAG PRAWITZ ON PROOFS AND MEANING},
volume={7},
number={},
pages={147-162},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2015},
title={WEAK CAT-OPERADS},
journal={LOGICAL METHODS IN COMPUTER SCIENCE},
volume={11},
number={1},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2013},
title={Graphs of plural cuts},
journal={THEORETICAL COMPUTER SCIENCE},
volume={484},
number={},
pages={41-55},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2013},
title={Syntax for split preorders},
journal={ANNALS OF PURE AND APPLIED LOGIC},
volume={164},
number={4},
pages={443-481},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2013},
title={Ordinals in Frobenius monads},
journal={JOURNAL OF PURE AND APPLIED ALGEBRA},
volume={217},
number={4},
pages={763-778},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2012},
title={Symmetric Self-adj unctions and Matrices},
journal={ALGEBRA COLLOQUIUM},
volume={19},
number={},
pages={1051-1082},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2012},
title={Shuffles and concatenations in the construction of graphs},
journal={MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE},
volume={22},
number={6},
pages={904-930},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2012},
title={Intermutation},
journal={APPLIED CATEGORICAL STRUCTURES},
volume={20},
number={1},
pages={43-95},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2012},
title={Isomorphic formulae in classical propositional logic},
journal={MATHEMATICAL LOGIC QUARTERLY},
volume={58},
number={1-2},
pages={5-17},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M},
year={2011},
title={A Prologue to the Theory of Deduction},
journal={LOGICA YEARBOOK 2010},
volume={},
number={},
pages={65-80},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2011},
title={Hypergraph polytopes},
journal={TOPOLOGY AND ITS APPLICATIONS},
volume={158},
number={12},
pages={1405-1444},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2011},
title={Coherence for modalities},
journal={JOURNAL OF PURE AND APPLIED ALGEBRA},
volume={215},
number={7},
pages={1606-1628},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2010},
title={Coherence for monoidal monads and comonads},
journal={MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE},
volume={20},
number={4},
pages={545-561},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2010},
title={Coherence for monoidal endofunctors},
journal={MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE},
volume={20},
number={4},
pages={523-543},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2009},
title={Coherence in linear predicate logic},
journal={ANNALS OF PURE AND APPLIED LOGIC},
volume={158},
number={1-2},
pages={125-153},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2008},
title={Equality of proofs for linear equality},
journal={ARCHIVE FOR MATHEMATICAL LOGIC},
volume={47},
number={6},
pages={549-565},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M},
year={2008},
title={Simplicial endomorphisms},
journal={COMMUNICATIONS IN ALGEBRA},
volume={36},
number={7},
pages={2681-2709},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2007},
title={Medial commutativity},
journal={ANNALS OF PURE AND APPLIED LOGIC},
volume={146},
number={2-3},
pages={237-255},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Kovijanic Zana,Petric Zoran J},
year={2006},
title={A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebras},
journal={INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION},
volume={16},
number={5},
pages={959-968},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2006},
title={Coherence for star-autonomous categories},
journal={ANNALS OF PURE AND APPLIED LOGIC},
volume={141},
number={1-2},
pages={225-242},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M},
year={2006},
title={Models of deduction},
journal={SYNTHESE},
volume={148},
number={3},
pages={639-657},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2006},
title={Associativity as commutativity},
journal={JOURNAL OF SYMBOLIC LOGIC},
volume={71},
number={1},
pages={217-226},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M},
year={2003},
title={Identity of proofs based on normalization and generality},
journal={BULLETIN OF SYMBOLIC LOGIC},
volume={9},
number={4},
pages={477-503},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2003},
title={A Brauerian representation of split preorders},
journal={MATHEMATICAL LOGIC QUARTERLY},
volume={49},
number={6},
pages={579-586},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2003},
title={Generality of proofs and its Brauerian representation},
journal={JOURNAL OF SYMBOLIC LOGIC},
volume={68},
number={3},
pages={740-750},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2003},
title={Self-adjunctions and matrices},
journal={JOURNAL OF PURE AND APPLIED ALGEBRA},
volume={184},
number={1},
pages={7-39},
document_type={Article},
} 

@ARTICLE{
author={Borisavljevic Mirjana P,Dosen Kosta M,Petric Zoran J},
year={2002},
title={Kauffman monoids},
journal={JOURNAL OF KNOT THEORY AND ITS RAMIFICATIONS},
volume={11},
number={2},
pages={127-143},
document_type={Article},
} 

@ARTICLE{
author={Dosen Kosta M,Petric Zoran J},
year={2001},
title={The maximality of cartesian categories},
journal={MATHEMATICAL LOGIC QUARTERLY},
volume={47},
number={1},
pages={137-144},
document_type={Article},
}