A Category of Ordered Algebras Equivalent to the Category of Multialgebras

ME Coniglio, GV de Toledo - 2023 - ceeol.com
… , a multialgebra, with universe A, is taken to an algebra over the set of non-empty subsets of
… P(A) defined at the beginning of Section 2 and, for nonempty subsets A1 and A2 of A, A1 ≤P…

RELATION BETWEEN MULTIALGEBRAS AND BOOLEAN ALGEBRAS WITH OPERATOR

M Xhaferi - Journal of Natural Sciences and Mathematics of UT, 2019 - eprints.unite.edu.mk
algebra with operator is a power structure of any multialgebra… If any nonempty closed subset
related to all operations from B… Algebra B, then all subalgebras of the Boolean Algebra B are …

THE PARTIAL MANY-SORTED ALGEBRAS OF TERMS AND FORMULAS WITH FIXED VARIABLES COUNT.

T Kumduang, S Leeratanavalee - … : General Algebra & …, 2023 - search.ebscohost.com
… For n ∈ N := {1,2,...}, by On(A) we denote the set of n-ary operations on a nonempty set A
and O(A) := ⋃n∈N On(A). Any subset of O(A) is called a clone (or clone of operations) if it …

Results on Functions on Dedekind Multisets

Š Hošková-Mayerová, BO Onasanya - Symmetry, 2019 - mdpi.com
… In this paper, some properties of the algebraic sum of … ([7]) Let X and Y be two nonempty
sets such that f : X ⟶ Y is a … A ⨀ B , where B is the subset of X consisting the tag number of the …

Non-deterministic algebraization of logics by swap structures

ME Coniglio, A Figallo-Orellano… - Logic Journal of the …, 2020 - academic.oup.com
… this direction, by adapting concepts of universal algebra to multialgebras in a suitable way,
with the … set, then |$\wp (A)_+$| denotes the set of nonempty subsets of |$A$|⁠. Definition 2.2 …

Multialgebraic structures and applications in abstract theories of quadratic forms and graded rings

KMA Roberto - 2023 - teses.usp.br
… case, isolating axioms over pairs involving multirings and a subset with some properties. …
Algebra and Logic) requires a particular adaptation. Here, we adapt the notion of multialgebra

[PS][PS] Modeling partiality by nondeterminism–from abstract specifications to flexible error treatement

Y Lamo, M l Walicki - ii.uib.no
… We introduce an institution of multialgebras MA (modeling … the nonempty subsets of sA. We
will not make this assumption. … be described as a product of some subsets of s1 and s2. (Eg f(…

From microstructure-independent formulas for composite materials to rank-one convex, non-quasiconvex functions

Y Grabovsky - Archive for Rational Mechanics and Analysis, 2018 - Springer
… family of such functions by means of the algebraic methods of … convex subset, with
nonempty relative interior, of a subspace … this reason we call such subspaces Jordan A-multialgebras. …

[PDF][PDF] Journal of Algebraic Hyperstructures and Logical Algebras

A Iampan, A Satirad, M Songsaeng - academia.edu
multialgebras) was introduced by Marty [12] in 1934. Now, the theory of … For any two
nonempty subsets A and B of hypergroupoid H and x ∈ H, we define their hyperproduct by …

[PDF][PDF] Towards an hyperalgebraic theory of non-algebraizable logics

ME Coniglio, A Figallo-Orellano, AC Golzio - CLE e-Prints, 2016 - academia.edu
… If A is a nonempty set then ℘(A)+ denotes the set of nonempty subsets of A. … In the sequel,
sometimes we will refer to a multialgebra A = (A, σA) by means of its support A. The support of …