Generality of proofs and its Brauerian representation

  title={Generality of proofs and its Brauerian representation},
  author={Kosta Dosen and Zoran Petric},
  journal={J. Symb. Log.},
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… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 15 references

A quotient of the affine Hecke algebra in the Brauer algebra

  • V.F.R. Jones
  • Enseign. Math. (2) 40
  • 1994
Highly Influential
4 Excerpts

Quantum Groups

  • C. Kassel
  • Springer, Berlin
  • 1995
1 Excerpt

On the structure of Brauer’s centralizer algebras

  • H. Wenzl
  • Ann. of Math. 128
  • 1988
1 Excerpt

Introduction to Higher-Order Categorical Logic

  • J. Lambek, P. J. Scott
  • Cambridge University Press, Cambridge
  • 1986
2 Excerpts

A counter-example to coherence in cartesian closed categories

  • M. E. Szabo
  • Canad. Math. Bull. 18
  • 1975
1 Excerpt

Functional completeness of cartesian categories

  • J. Lambek
  • Ann. Math. Logic 6
  • 1974
1 Excerpt

Similar Papers

Loading similar papers…