Results 11 to 20 of about 220 (59)
RADICAL OF A-IDEALS IN MV -MODULES
, 2014 In this paper, we introduce the notion of the radical of an ideal in MV - algebras. Several characterizations of this radical is given. We define the notion of a semi-maximal ideal in an MV -algebra and prove some theorems which give relations between ...
F. Forouzesh, E. Eslami, A. Saeid
semanticscholar +1 more source
Propositional dynamic logic for searching games with errors [PDF]
, 2014 We investigate some finitely-valued generalizations of propositional dynamic logic with tests. We start by introducing the (n+1)-valued Kripke models and a corresponding language based on a modal extension of {\L}ukasiewicz many-valued logic.
Teheux, Bruno
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
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
, 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
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
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
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
The Modal Logics of Kripke-Feferman Truth [PDF]
We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness ...
Nicolai, Carlo, Stern, Johannes
core