-
5A variable neighbourhood search for minimization of operation times through warehouse layout optimizationLogic 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
-
40Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post AlgebrasStudia Logica 98 (1-2): 307-330. 2011.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
-
15Monadic MV-algebras are Equivalent to Monadic ℓ-groups with Strong UnitStudia 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
-
16Free-decomposability in Varieties of Pseudocomplemented Residuated LatticesStudia 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
-
21Quasivarieties and Congruence Permutability of Łukasiewicz Implication AlgebrasStudia 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
-
15Reseña de 'Carolina Rodríguez. La filosofía analítica en Colombia'Ideas Y Valores 53 (125). 2004.