3 citations · 6 across the 6 of their papers we have counts for
4 papers · 1 filter
Coherence and Confluence
K. Dosen, Z. Petric
Proofs of coherence in category theory, starting from Mac Lane's original proof of coherence for monoidal categories, are sometimes based on confluence techniques analogous to what…
Negation and Involutive Adjunction
K. Dosen, Z. Petric
This note analyzes in terms of categorial proof theory some standard assumptions about negation in the absence of any other connective. It is shown that the assumptions for an invo…
Coherence for Star-Autonomous Categories
K. Dosen, Z. Petric
This paper presents a coherence theorem for star-autonomous categories exactly analogous to Kelly's and Mac Lane's coherence theorem for symmetric monoidal closed categories. The p…
Coherence of Proof-Net Categories
K. Dosen, Z. Petric
The notion of proof-net category defined in this paper is closely related to graphs implicit in proof nets for the multiplicative fragment without constant propositions of linear l…