Results 11 to 20 of about 170 (20)

Incompleteness of a first-order Gödel logic and some temporal logics of programs [PDF]

, 1996
It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant ...
Baaz, Matthias, Leitsch, Alexander, Zach, Richard   +2 more
core   +2 more sources

Representation of States on Effect-Tribes and Effect Algebras by Integrals [PDF]

, 2010
We describe $\sigma$-additive states on effect-tribes by integrals. Effect-tribes are monotone $\sigma$-complete effect algebras of functions where operations are defined by points.
Dvurečenskij, Anatolij
core   +1 more source

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

The Lattice and Simplex Structure of States on Pseudo Effect Algebras [PDF]

, 2010
We study states, measures, and signed measures on pseudo effect algebras with some kind of the Riesz Decomposition Property, (RDP). We show that the set of all Jordan signed measures is always an Abelian Dedekind complete $\ell$-group.
A. Dvurečenskij, A. Dvurečenskij, A. Dvurečenskij, A. Dvurečenskij, A. Dvurečenskij, A. Dvurečenskij, A.M.W. Glass, A.N. Kolmogorov, Anatolij Dvurečenskij, B. Finetti de, D. Buhagiar, D.J. Foulis, E.M. Alfsen, E.M. Alfsen, F. Kôpka, G. Birkhoff, G. Panti, G. Rüttimann, J. Binder, K. Keller, K.R. Goodearl, L. Fuchs, M.K. Bennett, O. Bratteli, R. Greechie, R.R. Phelps, T. Kroupa   +26 more
core   +1 more source

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, A. Dvurečenskij, A. Dvurečenskij, A. Dvurečenskij, A. Dvurečenskij, A. Jenčová, A. Jenčová, A.S. Holevo, Anatolij Dvurečenskij, C.C. Chang, D. Buhagiar, D. Butnariu, D. Mundici, D.J. Foulis, E.M. Alfsen, F. Chovanec, F. Kôpka, G. Jenča, G. Jenča, J. Neumann von, K.R. Goodearl, P.R. Halmos, R. Sikorski, S. Pulmannová, S. Pulmannová, S. Pulmannová, V.S. Varadarajan   +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, Ciabattoni, Agata, Zach, Richard   +2 more
core   +2 more sources

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  

Generic substitutions

, 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  

English summaries [PDF]

, 2009
,
core