The Experts below are selected from a list of 30 Experts worldwide ranked by ideXlab platform

Godo Lluís - One of the best experts on this subject based on the ideXlab platform.

  • Expanding with a Boolean Connective
    'Springer Science and Business Media LLC', 2017
    Co-Authors: Ertola-biraben, Rodolfo C., Esteva Francesc, Godo Lluís
    Abstract:

    sem informaçãoWe 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.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.21197111sem informaçãosem informaçãosem informaçã

  • Expanding FL e w with a Boolean Connective
    'Springer Science and Business Media LLC', 2017
    Co-Authors: Ertola-biraben, Rodolfo C., Esteva Francesc, Godo Lluís
    Abstract:

    We expand FL e w 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. © 2016, Springer-Verlag Berlin Heidelberg.The authors are thankful to annonymous reviewer for his/her comments that have helped to improve the final layout of this paper. The authors have been funded by the EU H2020-MSCA-RISE-2015 Project 689176–SYSMICS. Esteva and Godo have been also funded by the FEDER/MINECO Spanish project TIN2015-71799-C2-1-PPeer Reviewe

  • Expanding FLew with a Boolean Connective
    'Springer Science and Business Media LLC', 2016
    Co-Authors: Ertola-biraben, Rodolfo C., Esteva Francesc, Godo Lluís
    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.Comment: 15 pages, 4 figures in Soft Computing, published online 23 July 201

Lluis Godo - One of the best experts on this subject based on the ideXlab platform.

  • expanding hbox fl _ ew with a Boolean Connective
    Soft Computing, 2017
    Co-Authors: Rodolfo C Ertolabiraben, Francesc Esteva, Lluis Godo
    Abstract:

    We expand $$\hbox {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.

  • expanding flew with a Boolean Connective
    Soft Computing, 2017
    Co-Authors: Rodolfo C Ertolabiraben, Francesc Esteva, Lluis Godo
    Abstract:

    The authors are thankful to annonymous reviewer for his/her comments that have helped to improve the final layout of this paper. The authors have been funded by the EU H2020-MSCA-RISE-2015 Project 689176–SYSMICS. Esteva and Godo have been also funded by the FEDER/MINECO Spanish project TIN2015-71799-C2-1-P

  • expanding flew with a Boolean Connective
    arXiv: Logic, 2016
    Co-Authors: Rodolfo C Ertolabiraben, Francesc Esteva, Lluis Godo
    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.

Ertola-biraben, Rodolfo C. - One of the best experts on this subject based on the ideXlab platform.

  • Expanding with a Boolean Connective
    'Springer Science and Business Media LLC', 2017
    Co-Authors: Ertola-biraben, Rodolfo C., Esteva Francesc, Godo Lluís
    Abstract:

    sem informaçãoWe 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.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.21197111sem informaçãosem informaçãosem informaçã

  • Expanding FL e w with a Boolean Connective
    'Springer Science and Business Media LLC', 2017
    Co-Authors: Ertola-biraben, Rodolfo C., Esteva Francesc, Godo Lluís
    Abstract:

    We expand FL e w 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. © 2016, Springer-Verlag Berlin Heidelberg.The authors are thankful to annonymous reviewer for his/her comments that have helped to improve the final layout of this paper. The authors have been funded by the EU H2020-MSCA-RISE-2015 Project 689176–SYSMICS. Esteva and Godo have been also funded by the FEDER/MINECO Spanish project TIN2015-71799-C2-1-PPeer Reviewe

  • Expanding FLew with a Boolean Connective
    'Springer Science and Business Media LLC', 2016
    Co-Authors: Ertola-biraben, Rodolfo C., Esteva Francesc, Godo Lluís
    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.Comment: 15 pages, 4 figures in Soft Computing, published online 23 July 201

Rodolfo C Ertolabiraben - One of the best experts on this subject based on the ideXlab platform.

  • expanding hbox fl _ ew with a Boolean Connective
    Soft Computing, 2017
    Co-Authors: Rodolfo C Ertolabiraben, Francesc Esteva, Lluis Godo
    Abstract:

    We expand $$\hbox {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.

  • expanding flew with a Boolean Connective
    Soft Computing, 2017
    Co-Authors: Rodolfo C Ertolabiraben, Francesc Esteva, Lluis Godo
    Abstract:

    The authors are thankful to annonymous reviewer for his/her comments that have helped to improve the final layout of this paper. The authors have been funded by the EU H2020-MSCA-RISE-2015 Project 689176–SYSMICS. Esteva and Godo have been also funded by the FEDER/MINECO Spanish project TIN2015-71799-C2-1-P

  • expanding flew with a Boolean Connective
    arXiv: Logic, 2016
    Co-Authors: Rodolfo C Ertolabiraben, Francesc Esteva, Lluis Godo
    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.

Esteva Francesc - One of the best experts on this subject based on the ideXlab platform.

  • Expanding with a Boolean Connective
    'Springer Science and Business Media LLC', 2017
    Co-Authors: Ertola-biraben, Rodolfo C., Esteva Francesc, Godo Lluís
    Abstract:

    sem informaçãoWe 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.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.21197111sem informaçãosem informaçãosem informaçã

  • Expanding FL e w with a Boolean Connective
    'Springer Science and Business Media LLC', 2017
    Co-Authors: Ertola-biraben, Rodolfo C., Esteva Francesc, Godo Lluís
    Abstract:

    We expand FL e w 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. © 2016, Springer-Verlag Berlin Heidelberg.The authors are thankful to annonymous reviewer for his/her comments that have helped to improve the final layout of this paper. The authors have been funded by the EU H2020-MSCA-RISE-2015 Project 689176–SYSMICS. Esteva and Godo have been also funded by the FEDER/MINECO Spanish project TIN2015-71799-C2-1-PPeer Reviewe

  • Expanding FLew with a Boolean Connective
    'Springer Science and Business Media LLC', 2016
    Co-Authors: Ertola-biraben, Rodolfo C., Esteva Francesc, Godo Lluís
    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.Comment: 15 pages, 4 figures in Soft Computing, published online 23 July 201