17 citations · 72 across the 42 of their papers we have counts for
Showing 1999Show all
3 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…
math.CT1999★ 11 cited
The Maximality of the Typed Lambda Calculus and of Cartesian Closed Categories
Kosta Dosen, Zoran Petric
From the analogue of Boehm's Theorem proved for the typed lambda calculus, without product types and with them, it is inferred that every cartesian closed category that satisfies a…