Generalized equivalence: A pattern of mathematical expression
From MaRDI portal
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.
Recommendations
- scientific article; zbMATH DE number 3989423
- Regular equivalence: General theory
- scientific article; zbMATH DE number 3775599
- scientific article; zbMATH DE number 4039353
- Generalization of the Equivalence Transformations
- scientific article; zbMATH DE number 3882752
- scientific article; zbMATH DE number 3900833
- scientific article; zbMATH DE number 4069149
- Theoretical Computer Science
- scientific article; zbMATH DE number 978456
Cites work
- Groups as Unions of Proper Subgroups
- Groups Which are the Union of Three Subgroups
- scientific article; zbMATH DE number 3167398 (Why is no real title available?)
- scientific article; zbMATH DE number 3305800 (Why is no real title available?)
- Properties of almost all graphs and complexes
- The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
Cited in
(7)- Generalized complementation
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
- Idempotent variations on the theme of exclusive disjunction
- Explicating logical independence
- A generalized operator notation and its properties
- Abstract mathematical ideas equivalence relations and their applications
- Minimally congruential contexts: observations and questions on embedding E in K
This page was built for publication: Generalized equivalence: A pattern of mathematical expression
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1068078)
