Articles 1 to 27 of 27

1.

arXiv:0711.4961 Bicartesian Coherence Revisited. K. Dosen, Z. Petric. math.CT (math.LO).

2.

arXiv:0709.1421 Coherence in Linear Predicate Logic. K. Dosen, Z. Petric. math.LO (math.CT).

3.

math/0701325 Intermutation. K. Dosen, Z. Petric. math.CT (math.AT).

4.

math/0610934 Medial Commutativity. K. Dosen, Z. Petric. math.CT (math.GR).

5.

math/0601490 Equality of Proofs for Linear Equality. K. Dosen, Z. Petric. math.LO (math.CT).

6.

math.RT/0512102 Symmetric Self-Adjunctions: A Justification of Brauer's Representation of Brauer's Algebras. K. Dosen, Z. Petric. math.RT (math.CT).

7.

math/0510039 Symmetric Self-Adjunctions and Matrices. K. Dosen, Z. Petric. math.CT (math.GT).

8.

math/0506600 Associativity as Commutativity. K. Dosen, Z. Petric. math.CT (math.LO).

9.

math.CT/0506310 Coherence and Confluence. K. Dosen, Z. Petric. math.CT (math.LO).

10.

math.LO/0506302 Negation and Involutive Adjunction. K. Dosen, Z. Petric. math.LO (math.CT).

11.

math/0504133 Relevant Categories and Partial Functions. K. Dosen, Z. Petric. math.CT (math.LO).

12.

math.CT/0503306 Coherence for Star-Autonomous Categories. K. Dosen, Z. Petric. math.CT (math.LO).

13.

math.CT/0503301 Coherence of Proof-Net Categories. K. Dosen, Z. Petric. math.CT (math.LO).

14.

math.LO/0303005 A Note on the Set-Theoretic Representation of Arbitrary Lattices. K. Dosen (Mathematical Institute, Belgrade). MI-1999X. math.LO.

15.

math/0301302 Simplicial Endomorphisms. K. Dosen (Mathematical Institute, Belgrade). MI-2003x. math.GT.

16.

math.LO/0211277 A Brauerian Representation of Split Preorders. K. Dosen (Mathematical Institute, Belgrade), Z. Petric (Mathematical Institute, Belgrade). MI-2002xxy. math.LO.

17.

math.LO/0211090 Generality of Proofs and its Brauerian Representation. K. Dosen (Mathematical Institute, Belgrade), Z. Petric (Mathematical Institute, Belgrade). MI-2002xxx. math.LO.

18.

math.LO/0208094 Identity of Proofs Based on Normalization and Generality. K. Dosen (Mathematical Institute, Belgrade). math.LO (math.CT).

19.

math.GT/0204214 A New Proof of the Faithfulness of Brauer's Representation of Temperley-Lieb Algebras. K. Dosen (Mathematical Institute, Belgrade), Z. Kovijanic (U. of Montenegro), Z. Petric (Mathematical Institute, Belgrade). MI-2002x. math.GT.

20.

math.CT/0111061 Abstraction and Application in Adjunction. K. Dosen (Mathematical Institute, Belgrade). MI-2001x1. math.CT (math.LO).

21.

math.GT/0111058 Self-Adjunctions and Matrices. K. Dosen (Mathematical Institute, Belgrade), Z. Petric (Mathematical Institute, Belgrade). MI-2001xx. math.GT.

22.

math.GT/0008187 Kauffman Monoids. M. Borisavljevic (University of Belgrade), K. Dosen (Mathematical Institute, Belgrade, and University of Toulouse III), Z. Petric (Mathematical Institute, Belgrade). MI-2000x2. math.GT.

23.

math.CT/0006091 Coherent Bicartesian and Sesquicartesian Categories. K. Dosen (Mathematical Institute, Belgrade), Z. Petric (Mathematical Institute, Belgrade). math.CT (math.LO).

24.

math/0006052 Bicartesian Coherence. K. Dosen (Mathematical Institute, Belgrade), Z. Petric (Mathematical Institute, Belgrade). MI-2000x. Studia Logica 71(2002), 331-353. math.CT (math.LO).

25.

math.CT/9911073 The Maximality of the Typed Lambda Calculus and of Cartesian Closed Categories. Kosta Dosen (U. of Toulouse III), Zoran Petric (U. of Belgrade). MI-7746. math.CT (math.LO).

26.

math.LO/9911065 On Permuting Cut with Contraction. Mirjana Borisavljevic (U. of Belgrade), Kosta Dosen (U. of Toulouse III), Zoran Petric (U. of Belgrade). MI-7768. math.LO.

27.

math.CT/9911059 The Maximality of Cartesian Categories. Kosta Dosen (U. of Toulouse III), Zoran Petric (U. of Belgrade). IRIT/97-42-R. math.CT (math.LO).

- for questions or comments about the Front arXiv contact page - for questions about downloading and submitting e-prints