Monadic pseudo BE-algebras

DOI10.1515/MS-2017-0411zbMATH Open1484.06074arXiv1910.11996OpenAlexW3089511345MaRDI QIDQ2057873FDOQ2057873

Lavinia Ciungu

Publication date: 7 December 2021

Published in: Mathematica Slovaca (Search for Journal in Brave)

Abstract: In this paper we define the monadic pseudo BE-algebras and investigate their properties. We prove that the existential and universal quantifiers of a monadic pseudo BE-algebra form a residuated pair. Special properties are studied for the particular case of monadic bounded commutative pseudo BE-algebras. Monadic classes of pseudo BE-algebras are investigated and it is proved that the quantifiers on bounded commutative pseudo BE-algebras are also quantifiers on the corresponding pseudo MV-algebras. The monadic deductive systems and monadic congruences of monadic pseudo BE-algebras are defined and their properties are studied. It is proved that, in the case of a monadic distributive commutative pseudo BE-algebra there is a one-to-one correspondence between monadic congruences and monadic deductive systems, and the monadic quotient pseudo BE-algebra algebra is also defined.

Full work available at URL: https://arxiv.org/abs/1910.11996

zbMATH Keywords

monadic operatorsmonadic deductive systemcommutative pseudo BE-algebramonadic congruencemonadic pseudo BE-algebrapseudo BE-algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35)

Cites Work

• A non-commutative generalization of MV-algebras
• On axiom systems of propositional calculi, XIV
• Residuated lattices. An algebraic glimpse at substructural logics
• On monadic MV-algebras
• Representations of monadic MV-algebras
• Commutative pseudo BCK-algebras
• Varieties of monadic Heyting algebras. I
• Non-commutative Multiple-Valued Logic Algebras
• Monadic bounded commutative residuated \(\ell\)-monoids
• Monadic bounded residuated lattices
• Monadic GMV-algebras
• Monadic bounded hoops
• Monadic pseudo BCI-algebras and corresponding logics
• On pseudo BE-algebras
• Monadic pseudo-equality algebras
• Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
• Commutative pseudo BE-algebras.
• Local pseudo-BCK algebras with pseudo-product
• On residuated lattices with universal quantifiers
• Monadic BE-algebras
• Distributive Pseudo Be-Algebras
• Monadic NM-algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Quantum B-algebras with involutions
• Quantifiers on L-algebras
• Monadic classes of quantum B-algebras
• On pseudo BE-algebras

Uses Software

• Pseudo Hoops

This page was built for publication: Monadic pseudo BE-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2057873)