Monadic pseudo BCI-algebras and corresponding logics

DOI10.1007/S00500-018-3189-7zbMATH Open1415.06005OpenAlexW2796519825WikidataQ130037684 ScholiaQ130037684MaRDI QIDQ2001173FDOQ2001173

Yanyan Lai, Xiaolong Xin, Juntao Wang, Yulong 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

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

Cites Work

• Combinatory logic. With two sections by William Craig.
• Lattices and ordered algebraic structures
• Algebraizable logics
• Algebras in the positive cone of po-groups
• An algebra related with a propositional calculus
• Notes on the axiomatics of the propositional calculus
• 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 (9)

• An algebraic study of the logic \textbf{S5'(BL)}
• Logics for classes of Boolean monoids
• Quantum B-algebras with involutions
• Title not available (Why is that?)
• Title not available (Why is that?)
• On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices
• Monadic classes of quantum B-algebras
• Monadic pseudo BE-algebras
• Monadic pseudo-equality algebras

This page was built for publication: Monadic pseudo BCI-algebras and corresponding logics

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