3 citations · 6 across the 6 of their papers we have counts for
4 papers · 1 filter
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…
A Note on the Set-Theoretic Representation of Arbitrary Lattices
K. Dosen
Every lattice is isomorphic to a lattice whose elements are sets of sets, and whose operations are intersection and an operation extending the union of two sets of sets A and B by…
Identity of Proofs Based on Normalization and Generality
K. Dosen
In general proof theory there are two approaches to the question of identity criteria for proofs. The first approach, which stems from Prawitz, Kreisel and Lambek, and is based on…
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…