1 citations · 1 across the 13 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
math.LO2016
Commutative pseudo equality algebras
Lavinia Corina Ciungu
Pseudo equality algebras were initially introduced by Jenei and as a possible algebraic semantic for fuzzy type theory, and they have been revised by D…
math.LO2016
Commutative deductive systems of pseudo BCK-algebras
Lavinia Corina Ciungu
In this paper we generalize the axiom systems given by M. Pałasiński, B. Woźniakowska and by W.H. Cornish for commutative BCK-algebras to the case of commutative pseudo BCK-algebra…
math.LO2016
State pseudo equality algebras
Lavinia Corina Ciungu
Pseudo equality algebras were initially introduced by Jenei and as a possible algebraic semantic for fuzzy type theory, and they have been revised by D…