11 citations · 72 across the 39 of their papers we have counts for
4 papers · 1 filter
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…
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…
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…
A New Proof of the Faithfulness of Brauer's Representation of Temperley-Lieb Algebras
K. Dosen, Z. Kovijanic, Z. Petric
The faithfulness of the orthogonal group case of Brauer's representation of the Brauer centralizer algebras restricted to their Temperley-Lieb subalgebras, which was established by…