Artículos de revistas
Expanding With A Boolean Connective
Registro en:
Soft Computing. Springer, v. 21, p. 97 - 111, 2017.
1432-7643
1433-7479
WOS:000392065600010
10.1007/s00500-016-2275-y
Autor
Ertola-Biraben
Rodolfo C.; Esteva
Francesc; Godo
Lluis
Institución
Resumen
We expand 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. 21 1 97 111 EU H2020-MSCA-RISE Project [689176-SYSMICS] FEDER/MINECO Spanish project [TIN2015-71799-C2-1-P]