On the finite embeddability property for quantum B-algebras

2019 ◽  
Vol 69 (4) ◽  
pp. 721-728
Author(s):  
Changchun Xia

Abstract After the establishment of the finite embeddability property for integral and commutative residuated ordered monoids by Blok and Van Alten in 2002, the finite embeddability property for some other types of residuated ordered algebraic structures have been extensively studied. The main purpose of this paper is to construct a finite quantale X̂F from a finite partial subalgebra F of an increasing quantum B-algebra X so that F can be embedded into X̂F, that is, the class of increasing quantum B-algebras has the finite embeddability property.

1987 ◽  
Vol 10 (4) ◽  
pp. 387-413
Author(s):  
Irène Guessarian

This paper recalls some fixpoint theorems in ordered algebraic structures and surveys some ways in which these theorems are applied in computer science. We describe via examples three main types of applications: in semantics and proof theory, in logic programming and in deductive data bases.


1995 ◽  
Vol 10 (11) ◽  
pp. 853-858 ◽  
Author(s):  
NARUHIKO AIZAWA ◽  
SEBASTIAN SACHSE ◽  
HARU-TADA SATO

We discuss quantum algebraic structures of the systems of electrons or quasiparticles on a sphere on whose center a magnetic monopole is located. We verify that the deformation parameter is related to the filling ratio of the particles in each case.


Sign in / Sign up

Export Citation Format

Share Document