Ara es mostren els items 1-20 de 21

    • A short note on lattices allowing disjunctive reasoning 

      Trillas i Gay, Enric; Renedo, Eloy; Alsina Català, Claudi (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 2006)
      Article
      Accés obert
      This short note shows that the scheme of disjunctive reasoning, a or b, not b : a, does not hold neither in proper ortholattices nor in proper de Morgan algebras. In both cases the scheme, once translated into the inequality ...
    • Additive MDS codes 

      Ball, Simeon Michael; Adriaensen, Sam (2022)
      Text en actes de congrés
      Accés obert
      We prove that an additive code over a finite field which has a few projections which are equivalent to a linear code is itself equivalent to a linear code, providing the code is not too short.
    • Averaging Premises 

      Trillas i Gay, Enric; Castiñeira Holgado, Elena Esther; Cubillo Villanueva, Susana (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 2001)
      Article
      Accés obert
      This paper deals with the sets of strict conjectures and consequences of a given collection $P$ of premises. The set of Averaging Functions is introduced on lattices and some properties of these functions are shown. ...
    • Axiomatizing quantum MV-algebras 

      Giuntini, Roberto (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
      Article
      Accés obert
      We introduce the notion of {\it p-ideal\/} of a QMV-algebra and we prove that the class of all $p$-ideals of a QMV-algebra $\C M$ is in one-to-one correspondence with the class of all congruence relations of $\C M$.
    • Convergence in MV-algebras 

      Georgescu, George; Liguori, Fortuna; Martini, Giulia (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
      Article
      Accés obert
      $MV$-algebras were introduced in 1958 by Chang and they are models of Lukasiewicz infinite-valued logic. Chang gives a correspondence between the category of linearly ordered $MV$-algebras and the category of linearly ...
    • Convergences in perfect BL-algebras 

      Ciungu, L.C. (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 2007)
      Article
      Accés obert
      The aim of the paper is to investigate some concepts of convergence in the class of perfect BL-algebras. Similarity convergence was developed by G. Georgescu and A. Popescu in the case of the residuated lattices, while ...
    • Didactical note: probabilistic conditionality in a Boolean algebra 

      Trillas i Gay, Enric; Alsina Català, Claudi; Termini, Settimo (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
      Article
      Accés obert
      This note deals with two logical topics and concerns Boolean Algebras from an elementary point of view. First we consider the class of operations on a Boolean Algebra that can be used for modelling ``If-then" propositions. ...
    • Dual commutative hyper-K-idelas of type 1 in hyper K-algebras of order 3 

      Torkzadeh, Lida; Zahedi, Mohammad Mehdi (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 2006)
      Article
      Accés obert
      In this note we classify the bounded hyper K-algebras of order 3, which have D1 = {1}, D2 = {1, 2} and D3 = {0, 1} as a dual commutative hyper K-ideal of type 1. In this regard we show that there are such non-isomorphic bounded ...
    • Fixed-charge facility location problems in location science 

      Fernández Aréizaga, Elena; Landete, Mercedes (Springer, 2015-01-21)
      Capítol de llibre
      Accés restringit per política de l'editorial
      Fixed-Charge Facility Location Problems are among core problems in Location Science. There is a finite set of users with demand of service and a finite set of potential locations for the facilities that will offer service ...
    • Forward-Backward induction 

      Díaz Barrero, José Luis (2017-06)
      Article
      Accés restringit per decisió de l'autor
    • Fuzzy quantum logics 

      Dalla Chiara, Maria Luisa; Giuntini, Roberto (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
      Article
      Accés obert
      Lukasiewicz quantum logic (LQL) is a particular example of a fuzzy quantum logic. LQL is semantically characterized by the class of all quantum MV algebras. The standard quantum MV algebra is based on the set of all effects ...
    • GEOmetría + álGEBRA = GEOGEBRA 

      López Beltrán, Mireia (Real Sociedad Matemática Española, 2014)
      Article
      Accés obert
      GeoGebra permite, a través de sus vistas, trabajar con facilidad la relación entre la Geometría y el Álgebra. Desde la versión 4.0 cuenta, además, con una segunda vista gráfica que posibilita combinar en la misma pantalla ...
    • Integral closure in MV-algebras 

      Belluce, L.P. (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 2000)
      Article
      Accés obert
      We study the consequences of assuming on an MV-algebra $A$ that $\Sigma_{n}nx$ exists for each $x\in A$
    • Maximal MV-algebras 

      Filipoiu, Alexandru; Georgescu, George; Lettieri, Ada (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
      Article
      Accés obert
      In this paper we define maximal $MV$-algebras, a concept similar to the maximal rings and maximal distributive lattices. We prove that any maximal $MV$-algebra is semilocal, then we characterize a maximal $MV$-algebras ...
    • Modus ponens on Boolean algebras revisited 

      Trillas i Gay, Enric; Cubillo Villanueva, Susana (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
      Article
      Accés obert
      In a Boolean Algebra B, an inequality f(x,x -> y))<=y satisfying the condition f(1,1)=1, is considered for defining operations a->b among the elements of B. These operations are called ``Conditionals'' for f. In this paper, ...
    • Orthogonal decompositions of MV-spaces 

      Belluce, L.P.; Sessa, Salvatore (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
      Article
      Accés obert
      A maximal disjoint subset $S$ of an $MV$-algebra $A$ is a basis iff $\{x \in A : x \leq a \}$ is a linearly ordered subset of $A$ for all $a \in S$. Let $\Spec A$ be the set of the prime ideals of $A$ with the usual ...
    • Problem 1039: a constrained rational inequality 

      Díaz Barrero, José Luis (The Mathematical Association of America, 2014-11)
      Article
      Accés restringit per decisió de l'autor
    • Problem 5347: an application of Rolle's theorem 

      Díaz Barrero, José Luis (John Wiley & Sons, 2015-03)
      Article
      Accés restringit per decisió de l'autor
    • Solution to problem 3795 

      Díaz Barrero, José Luis (2015-01)
      Article
      Accés restringit per política de l'editorial
    • Solution to problem 5328: on the solutions of a nonlinear equation 

      Díaz Barrero, José Luis (John Wiley & Sons, 2014-12)
      Article
      Accés restringit per decisió de l'autor