使用布尔连接词展开FLew
Expanding FLew with a Boolean connective
摘要：
我们扩大FLew与一元连接，其代数对应的操作，给出了最大的补充元素下面一个给定的参数。我们证明了扩展逻辑是保守的，并具有有限模型性质。我们还证明了相应的扩展类的剩余格是一个方程类。
英文摘要：
We expand FLew with a unary connective whose algebraic counterpart is the operation that gives the greatest complemented element below a given argument. We prove that the expanded logic is conservative and has the Finite Model Property. We also prove that the corresponding expansion of the class of residuated lattices is an equational class.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
