Petrić, Zoran
Loading...
3
0
20
0
false
Full Name
Petrić, Zoran
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Subject
- 1 Adjunction | Categorial coherence | Congruence relation | Equality | Equality of proofs | Equivalence relation | Generality of proofs | Linear logic | Monoidal categories | Preordering relation
- 1 Associativity | Binomial coefficients | Coherence | Commutativity | Mac Lane's hexagon | Mac Lane's pentagon | Monoidal categories | Symmetric groups | Symmetric monoidal categories | Yang-Baxter equation
- 1 Bicartesian categories | Coherence | Decidability of equality of arrows
- 1 Bicartesian closed categories | Dinatural transformations
- 1 Brauer algebras | Categories of proofs | Digraphs | Identity criteria for proofs | Representation
- 1 Cartesian categories | Coherence | Conjunctive logic | Natural deduction | Post completeness
- 1 Categorial coherence | Cut elimination | Star-autonomous categories | Symmetric monoidal closed categories
- 1 Categorial proof theory | Coherence | Substructural logics
- 1 Categorial proof theory | Conjunction and disjunction | Decidability of equality of deductions
- 1 Classical linear logic | Coherence | Criteria of identity for proofs | Cut elimination | First-order predicate logic | Proof-net category
- next >
Type
- 20 Article
- 2 Book
- 1 Conference Paper
Results 1-20 of 23 (Search time: 0.006 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Došen, Kosta ; Petrić, Zoran | Coherence in linear predicate logic | 1-Mar-2009 | Annals of Pure and Applied Logic; 158(1-2); 125-153 | M22 |
2 | Došen, Kosta ; Petrić, Zoran | Equality of proofs for linear equality | 1-Sep-2008 | Archive for Mathematical Logic; 47(6); 549-565 | |
3 | Došen, Kosta ; Petrić, Zoran | Relevant categories and partial functions | 1-Dec-2007 | Publications de l'Institut Mathematique; 96; 17-23 | |
4 | Došen, Kosta ; Petrić, Zoran | Medial commutativity | 1-May-2007 | Annals of Pure and Applied Logic; 146(2-3); 237-255 | M22 |
5 | Došen, Kosta ; Petrić, Zoran | Proof-Net Categories | 2007 | M11 | |
6 | Došen, Kosta ; Petrić, Zoran | Associativity as commutativity | 1-Jan-2006 | Journal of Symbolic Logic; 71(1); 217-226 | M22 |
7 | Došen, Kosta ; Petrić, Zoran | Coherence for star-autonomous categories | 1-Jan-2006 | Annals of Pure and Applied Logic; 141(1-2); 225-242 | M22 |
8 | Došen, Kosta ; Kovijanić, Žana; Petrić, Zoran | A new proof of the faithfulness of Brauer's representation of Temperley-Lieb algebras | 1-Jan-2006 | International Journal of Algebra and Computation; 16(5); 959-968 | M23 |
9 | Došen, Kosta ; Petrić, Zoran | Coherence of Proof-Net Categories | 2005 | Publications de l'Institut Mathématique; 78(92); 1-33 | M24 |
10 | Došen, Kosta ; Petrić, Zoran | Proof-Theoretical Coherence | 2004 | 1 | M11 |
11 | Došen, Kosta ; Petrić, Zoran | A Brauerian representation of split preorders | 24-Nov-2003 | Mathematical Logic Quarterly; 49(6); 579-586 | M22 |
12 | Došen, Kosta ; Petrić, Zoran | Self-adjunctions and matrices | 1-Oct-2003 | Journal of Pure and Applied Algebra; 184(1); 7-39 | M22 |
13 | Petrić, Zoran | G-dinaturality | 15-Aug-2003 | Annals of Pure and Applied Logic; 122(1-3); 131-173 | M22 |
14 | Došen, Kosta ; Petrić, Zoran | Generality of proofs and its brauerian representation | 1-Jan-2003 | Journal of Symbolic Logic; 68(3); 740-750 | M22 |
15 | Došen, Kosta ; Petrić, Zoran | The geometry of self-adjunction | 2003 | Publications de l'Institut Mathématique; 73(87); 1-29 | M24 |
16 | Borisavljević, Mirjana; Došen, Kosta ; Petrić, Zoran | Kauffman monoids | 26-Aug-2002 | Journal of Knot Theory and its Ramifications; 11(2); 127-143 | M22 |
17 | Došen, Kosta ; Petrić, Zoran | Bicartesian coherence | 1-Jan-2002 | Studia Logica; 71(3); 331-353 | |
18 | Petrić, Zoran | Coherence in substructural categories | 1-Jan-2002 | Studia Logica; 70(2); 271-296 | |
19 | Došen, Kosta ; Petrić, Zoran | The maximality of cartesian categories | 1-Jan-2001 | Mathematical Logic Quarterly; 47(1); 137-144 | M23 |
20 | Došen, Kosta ; Petrić, Zoran | The typed Böhm theorem | 1-Jan-2001 | Electronic Notes in Theoretical Computer Science; BOTH 2001, Bohm's Theorem: Applications to Computer Science Theory (Satellite Workshop of ICALP 2001); Crete; Greece; 13 July 2001 through 13 July 2001; 50(2); 117-129 |
Projects
(Co-Investigators)
Results 1-4 of 4 (Search time: 0.0 seconds).
Acronym | Title | Start date | Completion | P-Investigator |
---|---|---|---|---|
PROJECT 144029 | Models, Languages, Types, and Processes in Computing | 01-01-2006 | 31-12-2010 | Ghilezan, Silvia |
PROJECT 1630 | Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics | 01-01-2002 | 31-12-2005 | Došen, Kosta |
PROJECT 174026 | Representations of logical structures and formal languages and their application in computing | 01-01-2011 | 31-12-2019 | Ghilezan, Silvia |
PROJECT 144013 | Representations of logical structures and their application in computer science | 01-01-2006 | 31-12-2010 | Ognjanović, Zoran |