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