Results 11 to 19 of about 170 (19)
Lukasiewicz logic and Riesz spaces [PDF]
, 2013 We initiate a deep study of {\em Riesz MV-algebras} which are MV-algebras endowed with a scalar multiplication with scalars from $[0,1]$. Extending Mundici's equivalence between MV-algebras and $\ell$-groups, we prove that Riesz MV-algebras are ...
Di Nola, Antonio, Leustean, Ioana
core +1 more source
Quantified Propositional Gödel Logics [PDF]
, 2000 It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S.
Baaz, Matthias +2 more
core +2 more sources
Smearing of Observables and Spectral Measures on Quantum Structures
, 2012 An observable on a quantum structure is any $\sigma$-homomorphism of quantum structures from the Borel $\sigma$-algebra of the real line into the quantum structure which is in our case a monotone $\sigma$-complete effect algebras with the Riesz ...
A. Dvurečenskij +26 more
core +1 more source
Decompositions of Measures on Pseudo Effect Algebras [PDF]
, 2010 Recently in \cite{Dvu3} it was shown that if a pseudo effect algebra satisfies a kind of the Riesz Decomposition Property ((RDP) for short), then its state space is either empty or a nonempty simplex.
Dvurecenskij, Anatolij
core
Remarks on some connections between ideals and filters in residuated lattices
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria MatematicaIdeals and filters are important notions with different meanings in the study of algebraic structures related to logical systems. In this paper we establish new connections between these concepts in residuated lattices.
Piciu Dana +2 more
doaj +1 more source
, 2004 Up to equivalence, a substitution in propositional logic is an endomorphism of its free algebra. On the dual space, this results in a continuous function, and whenever the space carries a natural measure one may ask about the stochastic properties of the
Panti, Giovanni
core +3 more sources
On a New Construction of Pseudo BL-Algebras [PDF]
, 2014 We present a new construction of a class pseudo BL-algebras, called kite pseudo BL-algebras. We start with a basic pseudo hoop $A$. Using two injective mappings from one set, $J$, into the second one, $I$, and with an identical copy $\overline A$ with ...
Dvurečenskij, Anatolij
core