Expanding with a Boolean connective
We expand FL _ ew FL ew 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.
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.
Expanding FLew with a Boolean connective
[EN] 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.
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.
Showing the best results for this search. See all results