We show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig’s Interpolation Theorem holds but a strong form of this theorem does not hold. Translating these results into Algebraic Logic we obtain a finitely axiomatizable subvariety of finite dimensional Representable Cylindric Algebras that has the Strong Amalgamation ...

In this paper we study the concept of sets of elements, related to results of an associative binary operation. We discuss this issue in the context of matrices and lattices. First of all, we define hyperoperations similar to those used when constructing hyperstructures from quasiordered semigroups. This then enables us to show that if entries of matrices are elements of lattices, these consider...

The (P,Q)-superlattice is a hyperstructure of the form (L, P ∨, Q ∧), where (L,∨,∧) is a lattice and the hyperoperations P ∨, Q ∧ are defined as follows: a P ∨ b . = a ∨ b ∨ P , a Q ∧ b . = a ∧ b ∧ Q. If the sets P,Q ⊆ L satisfy appropriate conditions, then (L, P ∨, Q ∧) is a superlattice. We examine the properties of the sets a P ∨ b and a Q ∧ b in connection to the properties of P,Q. Especial...

We show that the natural algebraic structure of singular chains on a path-connected topological space determines isomorphism class fundamental group functorially. Moreover, we describe notion weak equivalence for relevant

This article introduces the concept of isosingular sets, which are irreducible algebraic subsets of the set of solutions to a system of polynomial equations that share a common singularity structure. The definition of these sets depends on deflation, a procedure that uses differentiation to regularize solutions. A weak form of deflation has proven useful in regularizing algebraic sets, making t...

A salt metathesis reaction is a chemical process involving the exchange of bonds between two reacting chemical species, which results in the creation of products with similar or identical bonding affiliations. Hyperstructure theory is studied from the theoretical point of view and for its applications. In this paper, we provide some examples of hyperstructures associated with salt m...

In this paper, we have generalized the definition of vector space by considering the group as a canonical $m$-ary hypergroup, the field as a krasner $(m,n)$-hyperfield and considering the multiplication structure of a vector by a scalar as hyperstructure. Also we will be consider a normed $m$-ary hypervector space and introduce the concept of convergence of sequence on $m$-ary hypernormed space...

It has now been clear for some time that for many qualitative spatial or temporal calculi, for instance the well-known RCC8 calculus, the operation of composition of relations which is used is actually only weak composition, which is defined as the strongest relation in the calculus that contains the real composition. An immediate consequence for qualitative calculi where weak composition is no...