Derivation operators on generalized algebras of BCK logic

DOI10.1016/j.fss.2020.04.020zbMath1464.06016OpenAlexW3023701482MaRDI QIDQ2035347

Lavinia Corina Ciungu

Publication date: 24 June 2021

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2020.04.020

zbMATH Keywords

scaling operatoradjunctiontranslation operatorcommutative pseudo-BCK algebrapseudo-BCK algebraideal derivationmultiplicative derivationGlivenko propertysymmetric derivationimplicative derivation

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Uses Software

• Pseudo Hoops

Cites Work

• The fixed set of a derivation in lattices
• A note on derivations on basic algebras
• Derivations of MV-algebras
• On derivations and their fixed point sets in residuated lattices
• Residuated lattices. An algebraic glimpse at substructural logics
• On derivations of BCI-algebras.
• Derivations on algebras of a non-commutative generalization of the Łukasiewicz logic
• On derivations of lattices
• On \(f\)-derivations of BCI-algebras
• Non-commutative Multiple-Valued Logic Algebras
• A NOTE ON f-DERIVATIONS OF BCI-ALGEBRAS
• Derivations in Prime Rings
• GENERALIZED DERIVATIONS OF BCI-ALGEBRAS
• ON f-DERIVATIONS OF LATTICES
• ON DERIVATIONS OF BE-ALGEBRAS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Derivation operators on generalized algebras of BCK logic