Results 1 to 10 of about 3,662 (32)

On some classes of state-morphism MV-algebras

Mathematica Slovaca, 2009
Abstract Flaminio and Montagna recently introduced state MV-algebras as MV-algebras with an internal notion of a state. The present authors gave a stronger version of state MV-algebras, called state-morphism MV-algebras. We present some classes of state-morphism MV-algebras like local, simple, semisimple state-morphism MV-algebras, and ...
DI NOLA, Antonio, A. Dvurečenskij
openaire   +5 more sources

Pathologies of the Brauer-Manin obstruction [PDF]

, 2015
We construct a conic bundle over an elliptic curve over a real quadratic field that is a counterexample to the Hasse principle not explained by the \'etale Brauer-Manin obstruction.
Colliot-Thélène, Jean-Louis, Pál, Ambrus, Skorobogatov, Alexei N.   +2 more
core   +3 more sources

State morphism MV-algebras

International Journal of Approximate Reasoning, 2011
We present a complete characterization of subdirectly irreducible MV-algebras with internal states (SMV-algebras). This allows us to classify subdirectly irreducible state morphism MV-algebras (SMMV-algebras) and describe single generators of the variety of SMMV-algebras, and show that we have a continuum of varieties of SMMV-algebras.
Dvurecenskij A., Kowalski K., MONTAGNA, FRANCO   +2 more
openaire   +3 more sources

State-morphism MV-algebras

Annals of Pure and Applied Logic, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
DI NOLA, Antonio, DVURECENSKIJ A.
openaire   +2 more sources

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

Towards a Uniform Theory of Effectful State Machines

, 2020
Using recent developments in coalgebraic and monad-based semantics, we present a uniform study of various notions of machines, e.g. finite state machines, multi-stack machines, Turing machines, valence automata, and weighted automata.
Goncharov, Sergey, Milius, Stefan, Silva, Alexandra   +2 more
core   +2 more sources

Representation theory of some infinite-dimensional algebras arising in continuously controlled algebra and topology [PDF]

, 2003
In this paper we determine the representation type of some algebras of infinite matrices continuously controlled at infinity by a compact metrizable space. We explicitly classify their finitely presented modules in the finite and tame cases.
B. Mitchell, C. M. Ringel, F. Borceux, F. Borceux, F. Quinn, F. T. Farrell, Fernando Muro, G. Carlsson, H.-J. Baues, J. B. Wagoner, J. H. C. Whitehead, J. J. Simón, J.-M. Cordier, L. A. Nazarova, N. Higson, N. Jacobson, P. Gabriel, P.J. Hilton, R. Ayala, S. Mardesic   +19 more
core   +2 more sources

Loomis--Sikorski Theorem and Stone Duality for Effect Algebras with Internal State [PDF]

, 2010
Recently Flaminio and Montagna, \cite{FlMo}, extended the language of MV-algebras by adding a unary operation, called a state-operator. This notion is introduced here also for effect algebras.
Buhagiar, D., Chetcutti, E., Dvurečenskij, A.   +2 more
core   +2 more sources

Wheeled pro(p)file of Batalin-Vilkovisky formalism [PDF]

, 2009
Using technique of wheeled props we establish a correspondence between the homotopy theory of unimodular Lie 1-bialgebras and the famous Batalin-Vilkovisky formalism.
Merkulov, S. A.
core   +3 more sources

Godement resolutions and sheaf homotopy theory [PDF]

, 2014
The Godement cosimplicial resolution is available for a wide range of categories of sheaves. In this paper we investigate under which conditions of the Grothendieck site and the category of coefficients it can be used to obtain fibrant models and hence ...
Gonzalez, Beatriz Rodriguez, Roig, Agusti   +1 more
core   +2 more sources