scientific article; zbMATH DE number 7009680
From MaRDI portal
Publication:4612556
zbMath1404.08002MaRDI QIDQ4612556
Publication date: 31 January 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
free algebravarietyDe Morgan algebrahyperidentitybilatticeDe Morgan functionsuper-De Morgan functionhypervarietyBoole-De Morgan algebraessential hyperidentityquasi-De Morgan functiontermal hyperidentitysuper-Boolean algebrasuper-Boolean functionsuper-De Morgan algebra
Varieties and pseudovarieties of semigroups (20M07) Loops, quasigroups (20N05) Structure theory of algebraic structures (08A05) Operations and polynomials in algebraic structures, primal algebras (08A40) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Structure theory of Boolean algebras (06E05) Relational systems, laws of composition (08A02) Finitary algebras (08A62)
Related Items (7)
On idempotent and hyperassociative structures ⋮ On some associative formula with functional variables ⋮ A generalization of the Artin theorem ⋮ Globally medial systems of quasigroups ⋮ Unnamed Item ⋮ Invertible algebras satisfying associative identities with functional variables ⋮ Unnamed Item
Uses Software
Cites Work
- Hyperidentities of weakly idempotent lattices.
- The endomorphism monoid of a free trioid of rank 1
- Interassociativity on a free commutative semigroup.
- On invertible \(T\)-algebras.
- Super-De Morgan functions and free De Morgan quasilattices
- On \(\{2,3\}\)-hyperidentities in invertible \(\{2,3\}\)-algebras with a ternary group operation.
- Distributive hyperidentities in semigroups..
- Associative nontrivial hyperidentities in semigroups.
- Algebras with hyperidentities of the variety of De Morgan algebras.
- Subdirectly irreducible algebras with hyperidentities of the variety of De Morgan algebras.
- A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices
- On groups of hypersubstitutions
- Varieties of interlaced bilattices
- Multi-valued logic programming semantics An algebraic approach
- A functional completeness theorem for De Morgan functions.
- An invitation to general algebra and universal constructions.
- Hypervarieties of a given type
- Die Assoziativität im Ganzen, besonders bei Quasigruppen
- Théorie des systèmes demosiens de groupoïdes
- Varieties of relation algebras
- Quasilinear cellular automata
- On \(t\)-stochastic algebras
- A characterization of Sheffer functions by hyperidentities
- A proof of Lyndon's finite basis theorem
- Hyperidentities of groups and semigroups
- Hyperidentities and hypervarieties
- Finite codes and groupoid words
- \(k\)-ary monoids of term operations
- \(\Gamma\)-group congruences on regular \(\Gamma\)-semigroups
- Binary hyperidentities of lattices
- An algebraic approach to non-classical logics
- Characterizing Mal'cev conditions
- Equational classes of Steiner systems
- Mal'cev varieties
- Ein Stufenaufbau der Fastbereiche, Fastkörper und Körper aus ihrer multiplikativen Gruppe
- Some sufficient conditions for the representability of relation algebras
- Distributive lattices with an additional unary operation
- Lattice ordered polynomial algebras
- Unary hyperidentities for varieties of inverse semigroups
- All solid varieties of semigroups
- On a theorem of Schauffler
- A perspective on the theory of relation algebras
- Hyperassociative varieties of semigroups
- Relation-algebraic semantics
- Superidentities in the variety of lattices
- Model theory
- Sets with two associative operations
- Interassociates of monogenic semigroups.
- Order structure on the algebra of permutations and of planar binary trees
- Zur Struktur von Alternativkörpern
- Kennzeichnung endlicher linearer Gruppen als Permutationsgruppen
- A duality theory for bilattices
- Subdirectly irreducible algebras with various equations
- A basis for the type \(\langle n\rangle\) hyperidentities of the medial variety of semigroups
- Characterization of binary polynomials of idempotent algebras
- Hyperidentities of some generalizations of lattices
- De Morgan functions and free De Morgan algebras.
- Interassociates of a free semigroup with two generators.
- Weak automorphisms of universal algebras
- On binary \(G\)-spaces
- Interassociates of the bicyclic semigroup
- \(M\)-solid varieties of algebras
- Interassociates of the free commutative semigroup on \(n\) generators.
- The associative operad and the weak order on the symmetric groups
- Bilattices and hyperidentities
- On a generalization of the ring theory
- On the \(\Gamma\)-rings of Nobusawa
- On the theory of simple \(\Gamma\)-rings
- Representations of integral relation algebras
- Proof of a theorem on distributive type hyperidentities
- On interassociativity and related questions
- Über eine scharf 3-fach transitiven Gruppen zugeordnete algebraische Struktur
- Distributive lattices with a third operation defined
- Sur les groupes doublement transitifs continus
- Undecidable theories
- Algebras with Parastrophically Uncancellable Quasigroup Equations
- SUPER-BOOLEAN FUNCTIONS AND FREE BOOLEAN QUASILATTICES
- A CAYLEY THEOREM FOR THE MULTIPLICATIVE SEMIGROUP OF A FIELD
- Artin theorem for semigroups
- CIRCUIT INTEGRATION THROUGH LATTICE HYPERTERMS
- Transitive modes
- Lattice Theory: Foundation
- On the Foundations of Quasigroups
- A Theorem on Isotopic Groupoids
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Characterization of polynomially complete quasigroups based on Latin squares for cryptographic transformations
- Knots and Distributive Homology: From Arc Colorings to Yang–Baxter Homology
- On the general theory of algebraic systems
- On algebraic operations in idempotent algebras
- Weak isomorphisms of Boolean and Post algebras
- Function Algebras on Finite Sets
- On homomorphisms of many-sorted algebraic systems in connection with cryptographic applications
- Boole–De Morgan Algebras and Quasi-De Morgan Functions
- How not to Characterize the Multiplicative Groups of Fields
- Two Mal'cev-type theorems in universal algebra
- Heterogeneous algebras
- A theorem on doubly transitive permutation groups with application to universal algebras
- Lattices With Involution
- Pseudo-fields and doubly transitive groups
- Algebras with a Scheme of Operators
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Postulates for the calculus of binary relations
- On the calculus of relations
- The Construction of Orthogonal Latin Squares
- Contributions to the Theory of Loops
- On axioms of linear functions
- Quasigroups. I
- Quasigroups. II
- The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
- Note on extending congruential modal logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Independence and homomorphisms in abstract algebras
- THE MULTIPLICATIVE GROUP OF A FIELD AND HYPERIDENTITIES
- Quadratic level quasigroup equations with four variables I
- A CHARACTERIZATION OF DEMORGAN BISEMIGROUP OF BINARY FUNCTIONS
- BINARY REPRESENTATIONS OF ALGEBRAS WITH AT MOST TWO BINARY OPERATIONS: A CAYLEY THEOREM FOR DISTRIBUTIVE LATTICES
- Universal Algebra and Euler's Officer Problem
- The lattice of modal logics: an algebraic investigation
- A Cayley Theorem for Boolean Algebras
- HYPERIDENTITIES OF BOOLEAN ALGEBRAS
- Varieties Of Steiner Loops and Steiner Quasigroups
- Nonfinite axiomatizability results for cylindric and relation algebras
- Hyperidentities in algebras and varieties
- Finitary algebraic logic II
- Algebras with hyperidentities of the variety of Boolean algebras
- Regular bilattices
- Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
- A characterization of invertible algebras linear over a group by second-order formulas
- Classification of group isotopes according to their symmetry groups
- A Cayley Theorem for Ternary Algebras
- The structure of interlaced bilattices
- A CHARACTERIZATION OF de MORGAN ALGEBRAS
- Monotone Boolean functions
- Hyperidentities of De Morgan algebras
This page was built for publication:
