11 citations · 72 across the 39 of their papers we have counts for
1 paper · 2 filters
K. Dosen, Z. Petric
This paper is about equality of proofs in which a binary predicate formalizing properties of equality occurs, besides conjunction and the constant true proposition. The properties…