Deductive systems of pseudo-M algebras

Deductive systems of pseudo-M algebras

Blog Article

The class of pseudo-M algebras Dual functionality of the amyloid protein TasA in Bacillus physiology and fitness on the phylloplane contains pseudo-BCK, pseudo-BCI, pseudo-BCH, pseudo-BE, pseudo-CI algebras and many other algebras of logic.In this paper, the notion of deductive system in a pseudo-M algebra is introduced and its elementary properties are investigated.Closed deductive systems are defined and studied.The homomorphic properties of (closed) deductive systems are provided.The concepts of translation deductive Social inequalities in women exposed to obstetric and gyneco-obstetric violence in Ecuador: a cross-sectional study systems and R-congruences in pseudo-M algebras are introduced and investigated.

It is shown that there is a bijection between closed translation deductive systems and R-congruences.Finally, the construction of quotient algebra A/D of a pseudo-M algebra A via a translation deductive system D of A is given.