English
Related papers

Related papers: State BL-algebras

200 papers

Bosbach states represent a way of probabilisticly evaluating the formulas from various (commutative or non-commutative) many-valued logics. They are defined on the algebras corresponding to these logics with values in $[0,1]$. Starting from…

Logic · Mathematics 2015-02-05 George Georgescu , Claudia Mureşan

This paper is devoted to introduce a topology on BL-algebras, makes them semitopological algebras. For any BL-algebra $\mathcal{L}=(L, \wedge, \vee, *, \to , 0, 1)$, the introduced topology is defined by a distance-like function between…

Logic · Mathematics 2022-02-25 Seyed Mohammad Amin Khatami

We introduce Riesz space-valued states, called $(R,1_R)$-states, on a pseudo MV-algebra, where $R$ is a Riesz space with a fixed strong unit $1_R$. Pseudo MV-algebras are a non-commutative generalization of MV-algebras. Such a Riesz…

Commutative Algebra · Mathematics 2017-09-20 Anatolij Dvurečenskij

In this paper, some properties and applications of MV-algebras are provided. We define a Fibonacci sequence in an MV-algebra and we prove that such a stationary sequence gives us an idempotent element. Taking into account of the…

Rings and Algebras · Mathematics 2020-01-14 Cristina Flaut

We summarize some recent results obtained in collaboration with J. McCarthy on the spectrum of physical states in $W_3$ gravity coupled to $c=2$ matter. We show that the space of physical states, defined as a semi-infinite (or BRST)…

High Energy Physics - Theory · Physics 2015-06-26 Peter Bouwknegt , Krzysztof Pilch

In this paper, we extend the notions of states and measures presented in \cite{DvPu} to the case of pseudo-BCK algebras and study similar properties. We prove that, under some conditions, the notion of a state in the sense of \cite{DvPu}…

Logic · Mathematics 2009-08-31 Lavinia Corina Ciungu , Anatolij Dvurečenskij

Pseudo $MV$-algebras are a non-commutative generalization of $MV$-algebras. The main purpose of the paper is to introduce and investigate orthocomplete pseudo $MV$-algebras. We use the concepts of projectable pseudo $MV$-algebras and large…

Rings and Algebras · Mathematics 2015-05-19 Anatolij Dvurečenskij , Omid Zahiri

We analyze the algebra of boundary observables in canonically quantised JT gravity with or without matter. In the absence of matter, this algebra is commutative, generated by the ADM Hamiltonian. After coupling to a bulk quantum field…

High Energy Physics - Theory · Physics 2023-07-20 Geoff Penington , Edward Witten

Different versions of the notion of a state have been formulated for various so-called quantum structures. In this paper, we investigate the interplay among states on synaptic algebras and on its sub-structures. A synaptic algebra is a…

Mathematical Physics · Physics 2017-04-05 David J. Foulis , Anna Jencova , Sylvia Pulmannova

Finite dimensional representations of extended Weyl-Heisenberg algebra are studied both from mathematical and applied viewpoints. They are used to define unitary phase operator and the corresponding eigenstates (phase states). It is also…

Quantum Physics · Physics 2015-06-11 M. Daoud , E. H. El Kinani

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…

Commutative Algebra · Mathematics 2014-03-07 Anatolij Dvurečenskij

It is shown that a certain representation of the Heisenberg type Krichever-Novikov algebra gives rise to a state field correspondence that is quite similar to the vertex algebra structure of the usual Heisenberg algebra. Finally a…

Quantum Algebra · Mathematics 2007-05-23 K. J. Linde

The paper introduces the notion of state for involutive bisemilattices, a variety which plays the role of algebraic counterpart of paraconsistent weak Kleene logic and whose elements are represented as Plonka sum of Boolean algebras. We…

Logic · Mathematics 2021-05-13 S. Bonzio , A. Loi

This paper is concerned with the construction of phase operators, phase states, vector phase states, and coherent states for a generalized Weyl-Heisenberg algebra. This polynomial algebra (that depends on real parameters) is briefly…

Quantum Physics · Physics 2012-10-17 Maurice Robert Kibler , Mohammed Daoud

This paper studies properties of the logic BV, which is an extension of multiplicative linear logic (MLL) with a self-dual non-commutative operator. BV is presented in the calculus of structures, a proof theoretic formalism that supports…

Logic in Computer Science · Computer Science 2017-01-11 Alwen Tiu

The Batalin-Vilkovisky (BV) formalism is a powerful generalization of the BRST approach of gauge theories and allows to treat more general field theories. We will see how, starting from the case of a finite dimensional configuration space,…

Mathematical Physics · Physics 2016-09-09 Pierre J. Clavier , Viet Dang Nguyen

We discuss the notion of a Batalin-Vilkovisky (BV) algebra and give several classical examples from differential geometry and Lie theory. We introduce the notion of a quantum operator algebra (QOA) as a generalization of a classical…

High Energy Physics - Theory · Physics 2008-02-03 Bong H. Lian , Gregg J. Zuckerman

We propose in this article a definition of a MV-algebra structure on a class of subsets of some probability spaces and we work-out some examples. Our intention is to convey, by mean of the simplest possible examples, the idea that the…

Logic · Mathematics 2016-05-05 Gianluca Caterina , Vittorio Cafagna

We prove that there exists a functorial correspondence between MV-algebras and partially cyclically ordered groups which are wound round of lattice-ordered groups. It follows that some results about cyclically ordered groups can be stated…

Logic · Mathematics 2019-02-14 Gérard Leloup

The paper deals with an algebraic extension of $MV$-algebras based on the definition of generalized Boolean algebras. We introduce a new algebraic structure, not necessarily with a top element, which is called an $EMV$-algebra and every…

Commutative Algebra · Mathematics 2017-06-05 Anatolij Dvurečenskij , Omid Zahiri