Switch to: Citations

References in:

Equality of proofs for linear equality

Kosta Došen & Zoran Petrić

Archive for Mathematical Logic 47 (6):549-565 (2008)

Add references

You must login to add references.

A Brauerian representation of split preorders.Z. Petric & K. Dosen - 2003 - Mathematical Logic Quarterly 49 (6):579.details 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 associated composition arise in categorial proof theory in connection with coherence theorems. Here split preorders are represented isomorphically in the category whose arrows are binary relations and whose composition is defined in the usual way. This representation is related to a classical result of representation theory due to Richard Brauer. Download Export citation Bookmark 10 citations
Generality of Proofs and Its Brauerian Representation.Kosta Došen & Zoran Petrić - 2003 - Journal of Symbolic Logic 68 (3):740 - 750.details 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 in this relation if and only if they must remain occurrences of the same variable in every generalization of the derivation. The variables in question are propositional or of another type. A generalization of the derivation consists in diversifying variables without changing the rules of inference. This paper examines in the (...) Download Export citation Bookmark 8 citations
Book Reviews. [REVIEW]B. Jacobs - 2001 - Studia Logica 69 (3):429-455.details Download Export citation Bookmark 24 citations
On the equivalence of proofs involving identity.Glen Helman - 1987 - Notre Dame Journal of Formal Logic 28 (3):297-321.details Download Export citation Bookmark 1 citation
Generality of proofs and its Brauerian representation.Kosta Došen & Zoran Petrić - 2003 - Journal of Symbolic Logic 68 (3):740-750.details 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 in this relation if and only if they must remain occurrences of the same variable in every generalization of the derivation. The variables in question are propositional or of another type. A generalization of the derivation consists in diversifying variables without changing the rules of inference.This paper examines in the setting (...) Download Export citation Bookmark 4 citations

1