Expanding FL_ew with a Boolean connective

DOI10.1007/S00500-016-2275-YMaRDI QIDQ1699735zbMATH OpenOpenAlexFDO

Authors Rodolfo C. Ertola-Biraben, Francesc Esteva, Lluís Godo

Publication date 23 February 2018

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1612.01992

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logical aspects of Boolean algebras (03G05) Other algebras related to logic (03G25) MV-algebras (06D35)

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.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Expanding \(\text{FL}_{ew}\) with a Boolean connective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1699735)