In this paper, first we study the semi maximal filters in linear $BL$-algebras and we prove that any semi maximal filter is a primary filter. Then, we investigate the radical of semi maximal filters in $BL$-algebras. Moreover, we determine the relationship between this filters and other types of filters in $BL$-algebras and G"{o} del algebra. Specially, we prove that in a G"{o}del algebra, any ...

For a Banach algebra $fA$, we introduce ~$c.c(fA)$, the set of all $phiin fA^*$ such that $theta_phi:fAto fA^*$ is a completely continuous operator, where $theta_phi$ is defined by $theta_phi(a)=acdotphi$~~ for all $ain fA$. We call $fA$, a completely continuous Banach algebra if $c.c(fA)=fA^*$. We give some examples of completely continuous Banach algebras and a suffici...

A linear process is a system of events and states related by an inner product, on which are defined the behaviorally motivated operations of tensor product or orthocurrence, sum or concurrence, sequence, and choice. Linear process algebra or LPA is the theory of this framework. LPA resembles Girard’s linear logic with the differences attributable to its focus on behavior instead of proof. As wi...

Many phenomena and processes are well represented by linear mathematical models: linear relationships between the variables which describe the behavior of system. In many cases, for example related to the discretization of continuous media, the number of variables can be very large. Linear algebra provides the language and the theory with which (small and) large sets of linear equations can be ...

The “Ocean SAmpling MObile Network” (SAMON) Project is a simulation testbed for Web-based interaction among oceanographers and simulation based design of Ocean Sampling missions. In this paper, the current implementation of SAMON is presented, along with a formal model based on process algebra. Flexible optimization handles planning, mobility, evolution, and learning. A generic behavior message...

We treat the quaternionic Fourier transform (QFT) applied to quaternion fields and investigate QFT properties useful for applications. Different forms of the QFT lead us to different Plancherel theorems. We relate the QFT computation for quaternion fields to the QFT of real signals. We research the general linear (GL) transformation behavior of the QFT with matrices, Clifford geometric algebra ...

Given a classical symmetric pair, (G, K), with g = Lie(G), we provide descriptions of the Hilbert series of the algebra of K-invariant vectors in the associated graded algebra of U(g) viewed as a K-representation under restriction of the adjoint representation. The description illuminates a certain stable behavior of the Hilbert series, which is investigated in a case-by-case basis. We note tha...

In this paper we introduce time information in PAMR (Process Algebra for the Management of Resources). PAMR is a process algebra that simplifies the task of specifying processes whose behavior strongly depend on the resources that they have. One of the drawbacks of PAMR is that there is not an appropriate notion of time. In this paper we will consider that the duration of actions is controlled ...

In this paper we introduce a programming language for Web document processing called WebL. WebL is a high level, object-oriented scripting language that incorporates two novel features: service combinators and a markup algebra. Service combinators are language constructs that provide reliable access to web services by mimicking a web surfer's behavior when a failure occurs while retrieving a pa...

We show how to couple two free-fermion chains so that the excitations consist of Cooper pairs with zero energy, and free particles obeying (mutual) exclusion statistics. This behavior is reminiscent of anyonic superconductivity, and of a ferromagnetic version of the HaldaneShastry spin chain, although here the interactions are local. We solve this model using the nested Bethe ansatz, and find a...