Expanding FLew with a Boolean connective
arXiv:1612.01992 · doi:10.1007/s00500-016-2275-y
Abstract
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.
15 pages, 4 figures in Soft Computing, published online 23 July 2016