Exploració per tema "Classificació AMS::03 Mathematical logic and foundations::03G Algebraic logic"
Ara es mostren els items 1-20 de 21
-
A short note on lattices allowing disjunctive reasoning
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 2006)
Article
Accés obertThis 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
(2022)
Text en actes de congrés
Accés obertWe 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
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 2001)
Article
Accés obertThis 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
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
Article
Accés obertWe 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
(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
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 2007)
Article
Accés obertThe 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
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Accés obertThis 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
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 2006)
Article
Accés obertIn 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
(Springer, 2015-01-21)
Capítol de llibre
Accés restringit per política de l'editorialFixed-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
(2017-06)
Article
Accés restringit per decisió de l'autor -
Fuzzy quantum logics
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Accés obertLukasiewicz 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
(Real Sociedad Matemática Española, 2014)
Article
Accés obertGeoGebra 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
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 2000)
Article
Accés obertWe study the consequences of assuming on an MV-algebra $A$ that $\Sigma_{n}nx$ exists for each $x\in A$ -
Maximal MV-algebras
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
Article
Accés obertIn 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
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1996)
Article
Accés obertIn 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
(Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
Article
Accés obertA 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
(The Mathematical Association of America, 2014-11)
Article
Accés restringit per decisió de l'autor -
Problem 5347: an application of Rolle's theorem
(John Wiley & Sons, 2015-03)
Article
Accés restringit per decisió de l'autor -
Solution to problem 3795
(2015-01)
Article
Accés restringit per política de l'editorial -
Solution to problem 5328: on the solutions of a nonlinear equation
(John Wiley & Sons, 2014-12)
Article
Accés restringit per decisió de l'autor