1 citations · 1 across the 13 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.LO2019
Monadic pseudo BE-algebras
Lavinia Corina Ciungu
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…
math.LO2019
Pseudo BCI-algebras with derivations
Lavinia Corina Ciungu
In this paper we define two types of implicative derivations on pseudo-BCI algebras, we investigate their properties and we give a characterization of regular implicative derivatio…