4 citations · 8 across the 5 of their papers we have counts for
Showing 1999Show all
2 papers · 1 filter
math.LO1999
On Permuting Cut with Contraction
Mirjana Borisavljevic, Kosta Dosen, Zoran Petric
The paper presents a cut-elimination procedure for intuitionistic propositional logic in which cut is eliminated directly, without introducing the multiple-cut rule mix, and in whi…
math.CT1999
The Maximality of Cartesian Categories
Kosta Dosen, Zoran Petric
It is proved that equalities between arrows assumed for cartesian categories are maximal in the sense that extending them with any new equality in the language of free cartesian ca…