17 citations · 72 across the 42 of their papers we have counts for
Showing 2002 · math.LOShow all
2 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…