Monadic EQ-algebras

MaRDI QIDQ5044871FDOQ5044871

Authors Xiaoli Gao, Xiaolong Xin, Xiaoyun Cheng 

Publication date 2 November 2022

Full work available at URL http://yokohamapublishers.jp/online2/opjnca/vol23/p2307.html

zbMATH Keywords

monadic congruencemonadic EQ-algebramonadic filter (prefilter)

Mathematics Subject Classification ID

Higher-order logic (03B16) Other algebras related to logic (03G25)

Recommendations

• Monadic pseudo-equality algebras
• Monadic NM-algebras
• Monadic classes of quantum B-algebras
• Monadic BE-algebras
• On categorical equivalences of equality algebras and monadic equality algebras

Cited In (8)

• Analytic calculi for monadic PNmatrices
• Title not available (Why is no real title available?)
• Title not available (Why is no real title available?)
• Monadic dynamic algebras
• Monoidal algebraic model structures
• Title not available (Why is no real title available?)
• An equational metalogic for monadic equational systems
• Equational theories as congruences of enriched monoids

This page was built for publication: Monadic EQ-algebras

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