## Isomorphic formulae in classical propositional logic

- Kosta Dosen, Zoran Petric
- Math. Log. Q.
- 2012

@article{Dosen2003GeneralityOP, title={Generality of proofs and its Brauerian representation}, author={Kosta Dosen and Zoran Petric}, journal={J. Symb. Log.}, year={2003}, volume={68}, pages={740-750} }

- Published 2003 in 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