3 citations · 4 across the 4 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2005
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…
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…