Monadic pseudo BCI-algebras and corresponding logics

DOI10.1007/s00500-018-3189-7zbMath1415.06005OpenAlexW2796519825WikidataQ130037684 ScholiaQ130037684MaRDI QIDQ2001173

Yanyan Lai, Xiao Long Xin, Jun Tao Wang, Yu Long Fu

Publication date: 2 July 2019

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-018-3189-7

zbMATH Keywords

residuated mappingmonadic filtermonadic operatorpseudo BCI-algebrapseudo BCI-logic

Mathematics Subject Classification ID

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

Related Items

Monadic classes of quantum B-algebras ⋮ On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices ⋮ Unnamed Item ⋮ Monadic pseudo BE-algebras ⋮ Monadic pseudo-equality algebras ⋮ An algebraic study of the logic \textbf{S5'(BL)} ⋮ Quantum B-algebras with involutions

Cites Work

• Algebras in the positive cone of po-groups
• Combinatory logic. With two sections by William Craig.
• Lattices and ordered algebraic structures
• Notes on the axiomatics of the propositional calculus
• Algebraizable logics
• An algebra related with a propositional calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item