•  5
    A variable neighbourhood search for minimization of operation times through warehouse layout optimization
    with Haizea Rodriguez, Jenny Fajardo-Calderín, Ignacio Angulo, and Enrique Onieva
    Logic Journal of the IGPL. forthcoming.
    For companies involved in the supply chain, proper warehousing management is crucial. Warehouse layout arrangement and operation play a critical role in a company’s ability to maintain and improve its competitiveness. Reducing costs and increasing efficiency are two of the most crucial warehousing goals. Deciding on the best warehouse layout is a remarkable optimization problem. This paper uses an optimization method to set bin allocations within an automated warehouse with particular characteri…Read more
  •  40
    There is a constructive method to define a structure of simple k -cyclic Post algebra of order p , L p , k , on a given finite field F ( p k ), and conversely. There exists an interpretation Φ 1 of the variety $${\mathcal{V}(L_{p,k})}$$ generated by L p , k into the variety $${\mathcal{V}(F(p^k))}$$ generated by F ( p k ) and an interpretation Φ 2 of $${\mathcal{V}(F(p^k))}$$ into $${\mathcal{V}(L_{p,k})}$$ such that Φ 2 Φ 1 ( B ) = B for every $${B \in \mathcal{V}(L_{p,k})}$$ and Φ 1 Φ 2 ( R ) …Read more
  •  15
    Monadic MV-algebras are Equivalent to Monadic ℓ-groups with Strong Unit
    with C. Cimadamore
    Studia Logica 98 (1-2): 175-201. 2011.
    In this paper we extend Mundici’s functor Γ to the category of monadic MV-algebras. More precisely, we define monadic ℓ -groups and we establish a natural equivalence between the category of monadic MV-algebras and the category of monadic ℓ -groups with strong unit. Some applications are given thereof
  •  16
    Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices
    with D. Castaño and A. Torrens
    Studia Logica 98 (1-2): 223-235. 2011.
    In this paper we prove that the free pseudocomplemented residuated lattices are decomposable if and only if they are Stone, i.e., if and only if they satisfy the identity ¬ x ∨ ¬¬ x = 1. Some applications are given
  •  21
    Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras
    with M. Campercholi and D. Castaño
    Studia Logica 98 (1-2): 267-283. 2011.
    In this paper we study some questions concerning Łukasiewicz implication algebras. In particular, we show that every subquasivariety of Łukasiewicz implication algebras is, in fact, a variety. We also derive some characterizations of congruence permutable algebras. The starting point for these results is a representation of finite Łukasiewicz implication algebras as upwardly-closed subsets in direct products of MV-chains
  •  20
    Una evaluación on-line a la demanda para el autoaprendizaje
    with Miguel Balbás, Agustín García-Berrocal, and Cristina Montalvo
    Arbor 187 (Extra_3): 243-248. 2011.