The Equationally-Defined Commutator A Study in Equational Logic and Algebra /
This monograph introduces and explores the notions of a commutator equation and the equationally-defined commutator from the perspective of abstract algebraic logic. An account of the commutator operation associated with equational deductive systems is presented, with an emphasis placed on logical...
Published in: | Springer eBooks |
---|---|
Main Author: | |
Corporate Author: | |
Format: | eBook |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Birkhäuser,
2015.
|
Edition: | 1st ed. 2015. |
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/978-3-319-21200-5 Перейти в каталог НБ ТГУ |
Table of Contents:
- Introduction
- Basic Properties of Quasivarieties
- Commutator Equations and the Equationally Defined Commutator
- Centralization Relations
- Additivity of the Equationally Defined Commutator
- Modularity and Related Topics
- Additivity of the Equationally Defined Commutator and Relatively Congruence-Distributive Dub quasivarieties
- More on Finitely Generated Quasivarieties
- Commutator Laws in Finitely Generated Quasivarieties
- Appendix 1: Algebraic Lattices.- Appendix 2: A Proof of Theorem 3.3.4 for Relatively Congruence-Modular Quasivarieties
- Appendix 3: Inferential Bases for Relatively Congruence-Modular Quasivarieties.