Skip to main content
La Ingeniería Industrial juega actualmente un rol esencial en el monitoreo de procesos que siguen la metodología Six Sigma. Las Cartas de Control Estadístico permiten monitorearlos periódicamente. La velocidad de su respuesta es evaluada... more
    • by 
    •   8  
      CalidadMatemáticasEstadisticaINGENIERIA
La Ingeniería Industrial juega actualmente un rol esencial en el monitoreo de procesos que siguen la metodología Six Sigma. Las Cartas de Control Estadístico permiten monitorearlos periódicamente. La velocidad de su respuesta es evaluada... more
    • by 
    • by 
Aim: This study was carried out to investigate the antioxidant and antimicrobial activities of essential oil from the aerial part of Caralluma europaea and to evaluate the synergistic potential between essential oil and antibiotics.... more
    • by 
Hairy vetch (Vicia villosa ssp. villosa Roth) is native of Europe and Western Asia and it is the second most cultivated vetch worldwide. Hairy vetch is used as forage species in semiarid environments and as a legume cover crop in... more
    • by 
Aim: This study was carried out to investigate the antioxidant and antimicrobial activities of essential oil from the aerial part of Caralluma europaea and to evaluate the synergistic potential between essential oil and antibiotics.... more
    • by 
A general construction of the free algebra over a poset in varieties finitely generated is given in \cite{FZ1}. In this paper, we apply this to the varieties of \L ukasiewicz--Moisil algebras, giving a detailed description of the free... more
    • by  and +1
    • Algebraic Logic
We provide a recursive construction of all the semi-Heyting algebras that can be defined on a chain with n elements. This construction allows us to count them easily. We also compare the formula for the number of semi-Heyting chains thus... more
    • by  and +1
Given an endofunctor T in a category C, a coalgebra is a pair (X, c) consisting of an object X and a morphism c : X → T (X). X is called the carrier and the morphism c is called the structure map of the T -coalgebra. The theory of... more
    • by 
We offer the proofs that complete our article introducing the propositional calculus called semi-intuitionistic logic with strong negation.
    • by 
    • Mathematics
Nelson algebras are defined in [BM67] in terms of the language 〈∧,∨,→,∼, 1〉. In 1962, Diana Brignole [Bri65], solved the problem proposed by Antonio Monteiro, of giving an axiomatization of Nelson algebras in terms of the connectives ֌, ∧... more
    • by 
Let $P(n)$ be the set of all posets with $n$ elements and $NIP(n)$ the set of non-isomorphic posets with $n$ elements. Let $P^{(j)}(n)$, $1\leq j\leq 2^n,$ be the number of all posets with $n$ elements possessing exactly $j$ antichains.... more
    • by 
Let $P(n)$ be the set of all posets with $n$ elements. Let $P^{(j)}(n)$, $1\leq j\leq 2^n,$ be the number of all posets with $n$ elements possessing exactly $j$ antichains. We have determined the numbers $P^{(j)}(7),$ $1\leq j\leq 128$,... more
    • by 
Defeasible Logic Programming (DELP) is a formalism that extends declarative programming to capture defeasible reasoning. Its inference mechanism, upon a query on a literal in a program, answers by indicating whether or not it is warranted... more
    • by 
    •   4  
      Computer ScienceDefeasible Reasoning (Computer Science)Declarative ProgrammingFormal Model
We provide a recursive construction of all the semi-Heyting algebras that can be defined on a chain with n elements. This construction allows us to count them easily. We also compare the formula for the number of semi-Heyting chains thus... more
    • by 
We present a formal analysis of Douglas Hofstadter’s concept of superrationality. We start by defining superrationally justifiable actions, and study them in symmetric games. We then model the beliefs of the players, in a way that leads... more
    • by  and +1
    •   5  
      MatemáticasCoalgebrasBayesian GamesTypes
The notions of symmetry and anonymity in strategic games have been formalized in different ways in the literature. We propose a combinatorial framework in which those notions are systematized, using group actions. The same framework is... more
    • by 
The Vakarelov construction of Nelson algebras up from Heyting ones is generalized to obtain De Morgan algebras from distributive lattices. Necessary and sufficient conditions for these De Morgan algebras to be Nelson algebras are shown,... more
    • by 
    •   4  
      MatemáticasMatemática PuraEnseñanza - Aprendizaje Ciencias Naturales Y ExactasDistributive Lattices
We present a category equivalent to that of semi-Nelson algebras. The objects in this category are pairs consisting of a semi-Heyting algebra and one of its filters. The filters must contain all the dense elements of the semi-Heyting... more
    • by 
    •   2  
      MathematicsPure Mathematics
This is a rough draft of notes taken while reading the book “Sheaves in Geometry and Logic”[MLM94]. That said, we found some examples and additional material or changes of notation that helped us understand the material, and we think... more
    • by  and +1