Generalized equivalence: A pattern of mathematical expression
type: Item
instance of: scholarly article
title: Generalized equivalence: A pattern of mathematical expression
zbMATH Open document ID: 0581.03021
DOI: 10.1007/BF00394447
published in: Studia Logica
publication date: 1985-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03B99
zbMATH DE Number: 3928970
zbMATH Keywords: propositional operator
zbMATH Keywords: pairwise equivalence
zbMATH Keywords: replacement theorem
author: Terry A. McKee
MaRDI profile type: Publication
cites work: Properties of almost all graphs and complexes
cites work: Groups Which are the Union of Three Subgroups
cites work: Groups as Unions of Proper Subgroups
cites work: The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
cites work: Q5587082
cites work: Q3285875
full work available at URL: https://doi.org/10.1007/bf00394447
OpenAlex ID: W2006861379
Recommended article: Q3752445
Recommended article: Regular equivalence: General theory
Recommended article: Q3955411
Recommended article: Q3777503
Recommended article: Generalization of the Equivalence Transformations
Recommended article: Q3216893
Recommended article: Q3679250
Recommended article: Q3801754
Recommended article: Theoretical Computer Science
Recommended article: Q4332610
description: scientific article; zbMATH DE number 3928970