17 citations · 72 across the 42 of their papers we have counts for
Showing 2006Show all
2 papers · 1 filter
math.CT2006
Medial Commutativity
K. Dosen, Z. Petric
It is shown that all the assumptions for symmetric monoidal categories flow out of a unifying principle involving natural isomorphisms of the type ${(A\otimes B)\otimes(C\otimes D)…
math.LO2006
Equality of Proofs for Linear Equality
K. Dosen, Z. Petric
This paper is about equality of proofs in which a binary predicate formalizing properties of equality occurs, besides conjunction and the constant true proposition. The properties…