free logic; bounded existential quantifier; monadic algebra; functional algebra; variety; simple algebra; virtual ideal; basic quantifier/algebra; model; complex algebra; bounded graph; point; generated; special algebra; bounded morphism; semantically complete logic; finitely; generated; free algebra; atom;
机译:Monadic BL代数:Hajek的Monadic模糊逻辑的等效代数语义
机译:功能单子有界代数
机译:Monadic有界代数
机译:一元编程中的商:射影代数与煤代数等效
机译:强连通自动和单代数的自同构群和商
机译:有界代数整数集上的积分值多项式
机译:monadic BL-algebras:H \'ajek的等价代数语义 单一模糊逻辑