Results 11 to 20 of about 2,625 (105)

Connections Between Ideals Of Semisimple Emv-algebras And Set-theoretic Filters [PDF]

, 2022
In this paper, we mainly study connections between ideals of the semisimple EMV-algebra M and filters on some nonempty set Ω. We show that there is a bijection between the set of all closed ideals of M and the set of all filters on Ω.
Liu, Hongxing, Zhang, Xiaoxue
core   +1 more source

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

The Bell states in noncommutative algebraic geometry [PDF]

, 2014
We introduce new mathematical aspects of the Bell states using matrix factorizations, nonnoetherian singularities, and noncommutative blowups. A matrix factorization of a polynomial $p$ consists of two matrices $\phi_1,\phi_2$ such that $\phi_1\phi_2 ...
Charlie Beil, Einstein A., Goodearl K., Leuschke G.   +3 more
core   +3 more sources

An Algebraic Approach to Timed Petri Nets with Applications to Communication Networks [PDF]

, 2012
In this report, we define a formalism for a time-extension to algebraic place/transition (P/T) nets. This allows time durations to be assigned to the transitions of a P/T net, representing delays present in the systems that are being modelled, which in ...
Gabriel, Karsten, Lingnau, Pascal, Modica, Tony   +2 more
core   +1 more source

Measures induced by units

, 2013
The half-open real unit interval (0,1] is closed under the ordinary multiplication and its residuum. The corresponding infinite-valued propositional logic has as its equivalent algebraic semantics the equational class of cancellative hoops.
Panti, Giovanni, Ravotti, Davide
core   +1 more source

Symmetries of Automata [PDF]

, 2015
Content in the UH Research Archive is made available for personal research, educational, and non-commercial purposes only. Unless otherwise stated, all content is protected by copyright, and in the absence of an open license, permissions for further re ...
Egri-Nagy, Attila, Nehaniv, C.L.
core   +4 more sources

Relating coalgebraic notions of bisimulation [PDF]

, 2011
The theory of coalgebras, for an endofunctor on a category, has been proposed as a general theory of transition systems. We investigate and relate four generalizations of bisimulation to this setting, providing conditions under which the four different ...
A. Carboni, G. M. Kelly, and M. C. Pedic, A. Carboni, S. Lack, and R. F. C. Walter, A. Joyal and I. Moerdijk, Alexander Kurz, B. Jacobs and J. Rutten, B. Klin, B. van den Berg and F. De Marchi, C. Hermida and B. Jacobs, C. Kupke, A. Kurz, and Y. Venema, D. Sangiorgi, E. P. \SortNoop{Vink}de Vink and J., F. Bartels, A. Sokolova, and E. P. de Vi, F. Gadducci, M. Miculan, and U. Montanar, H. P. Gumm, H. P. Gumm and T. Schröder, J. Adámek, J. J. M. M. Rutten, J. Worrell, L. S. Moss, M. P. Fiore and S. Staton, N. Bezhanishvili, G. Fontaine, and Y. Ve, P. C. Kanellakis and S. A. Smolka, P. Freyd, P. Johnstone, J. Power, T. Tsujishita, H, R. Milner, R. Milner, J. Parrow, and D. Walker, S. Awodey, Sam Staton, T. Libert and O. Esser, V. Danos, J. Desharnais, F. Laviolette,   +29 more
core   +2 more sources

Varieties of Languages in a Category

, 2015
Eilenberg's variety theorem, a centerpiece of algebraic automata theory, establishes a bijective correspondence between varieties of languages and pseudovarieties of monoids.
Adamek, Jiri, Milius, Stefan, Myers, Robert, Urbat, Henning   +3 more
core   +1 more source

Proper Functors and Fixed Points for Finite Behaviour

, 2018
The rational fixed point of a set functor is well-known to capture the behaviour of finite coalgebras. In this paper we consider functors on algebraic categories. For them the rational fixed point may no longer be fully abstract, i.e.
Milius, Stefan
core   +1 more source

12th International Workshop on Termination (WST 2012) : WST 2012, February 19–23, 2012, Obergurgl, Austria / ed. by Georg Moser [PDF]

, 2012
This volume contains the proceedings of the 12th International Workshop on Termination (WST 2012), to be held February 19–23, 2012 in Obergurgl, Austria.
Moser, Georg
core