Related papers: Minimal Axiomatization of Boolean Algebras
In this paper we give two theorems from the Propositional Calculus of the Boolean Logic with their consequences and applications and we prove them axiomatically.
We determine the dimension of every simple module for the algebra of the monoid of all relations on a finite set (i.e. Boolean matrices). This is in fact the same question as the determination of the dimension of every evaluation of a…
A novel algorithm is provided to couple a Galilean invariant model with curved spatial background by taking nonrelativistic limit of a unique minimally coupled relativistic theory, which ensures Galilean symmetry in the flat limit and…
We show that the symmetrization of a brace algebra structure yields the structure of a symmetric brace algebra.
This research note provides algebraic characterizations of the least model, subsumption, and uniform equivalence of propositional Krom logic programs.
An equivalence between Lu's bialgebroids, Xu's bialgebroids with an anchor and Takeuchi's $\times_{A}$-bialgebras is explicitly proven. A new class of examples of bialgebroids is constructed. A (formal) dual of a bialgebroid, termed…
This paper is aimed at investigating links between Fell bundles over Morita equivalent groupoids and their corresponding reduced C*-algebras. Mainly, we review the notion of Fell pairs over a Morita equivalence of groupoids, and give the…
Classical algebraic structures require exact satisfaction of their defining axioms. We propose similarity algebra, a framework extending algebraic and Lie structures to settings where operations satisfy quantitative bounds up to a tolerance…
We explicitly compute certain Douglas algebras that are invariant under both the Bourgain map and the minimal envelope map. We also compute the Bourgain algebra and the minimal envelope of the maximal subalgebras of a certain singly…
The geometric and algebraic theory of monomial ideals and multigraded modules is initiated over real-exponent polynomial rings and, more generally, monoid algebras for real polyhedral cones. The main results include the generalization of…
This research started with an algebra for reasoning about rely/guarantee concurrency for a shared memory model. The approach taken led to a more abstract algebra of atomic steps, in which atomic steps synchronise (rather than interleave)…
We classify, up to isomorphism and up to equivalence, division gradings (by abelian groups) on finite-dimensional simple real algebras. Gradings on finite-dimensional simple algebras are determined by division gradings, so our results give…
From the motivation of algebraic attacks to stream and block ciphers([1,2,7,13,14,15]), the concept of {\em algebraic immunity} (AI) was introduced in [21] and studied in [3,5,10,11,17,18,19,20,21]. High algebraic immunity is a necessary…
In the paper the main attention is paid to conditions on algebras from a given variety which provide coincidence of their algebraic geometries. The main part here play the notions mentioned in the title of the paper.
Given an algebra with an idempotent, we introduce two procedures to construct families of new algebras, termed mirror-reflective algebras and reduced mirror-reflective algebras. We then establish connections among these algebras by…
We show that the class of unital $\mathrm{C}^*$-algebras is an elementary class in the language of operator systems. As a result, we have that there is a definable predicate in the language of operator systems that defines the…
The notion of Poisson manifold with compatible pseudo-metric was introduced by the author in [1]. In this paper, we introduce a new class of Lie algebras which we call a pseudo-Rieamannian Lie algebras. The two notions are strongly related:…
While symmetries are well understood for Boolean formulas and successfully exploited in practical SAT solving, less is known about symmetries in quantified Boolean formulas (QBF). There are some works introducing adaptions of propositional…
We associate to each discrete partial dynamical system a universal C*-algebra generated by partial isometries satisfying relations given by a Boolean algebra connected to the discrete partial dynamical system in question. We show that for…
A novel polynomial expansion method of symmetric Boolean functions is described. The method is efficient for symmetric Boolean function with small set of valued numbers and has the linear complexity for elementary symmetric Boolean…