Expanding FLew with a Boolean connective
Logic
2016-12-07 v1
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.
Keywords
Cite
@article{arxiv.1612.01992,
title = {Expanding FLew with a Boolean connective},
author = {Rodolfo C. Ertola-Biraben and Francesc Esteva and Lluís Godo},
journal= {arXiv preprint arXiv:1612.01992},
year = {2016}
}
Comments
15 pages, 4 figures in Soft Computing, published online 23 July 2016