11 citations · 72 across the 39 of their papers we have counts for
Showing 2002 · math.LOShow all
3 papers · 2 filters
math.LO2002★ 1 cited
A Brauerian Representation of Split Preorders
K. Dosen, Z. Petric
Split preorders are preordering relations on a domain whose composition is defined in a particular way by splitting the domain into two disjoint subsets. These relations and the as…
math.LO2002
Generality of Proofs and its Brauerian Representation
K. Dosen, Z. Petric
The generality of a derivation is an equivalence relation on the set of occurrences of variables in its premises and conclusion such that two occurrences of the same variable are i…
math.LO2002★ 2 cited
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…