Generalized equivalence: A pattern of mathematical expression
A simple propositional operator is introduced which generalizes pairwise equivalence and occurs widely in mathematics. Attention is focused on a replacement theorem for this notion of generalized equivalence and its use in producing further generalized equivalences.
scientific article; zbMATH DE number 3928970
scientific article