Quasi-discriminator varieties (Q5170143)

scientific article; zbMATH DE number 6318408

Language	Label	Description	Also known as
English	Quasi-discriminator varieties	scientific article; zbMATH DE number 6318408

Statements

instance of

scholarly article

0 references

title

Quasi-discriminator varieties (English)

0 references

0 references

0 references

0 references

0 references

International Journal of Algebra and Computation

0 references

publication date

18 July 2014

0 references

zbMATH Keywords

discriminator varieties

0 references

quasi-subtractive varieties

0 references

lattices of subvarieties

0 references

equational bases

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

On subtractive varieties II: General properties

0 references

The subquasivariety lattice of a discriminator variety

0 references

On the structure of varieties with equationally definable principal congruences. I

0 references

On the structure of varieties with equationally definable principal congruences. II

0 references

Classical exchange algebras in the Wess-Zumino-Witten model

0 references

On the structure of varieties with equationally definable principal congruences. III

0 references

On the structure of varieties with equationally definable principal congruences. IV

0 references

Q4249027

0 references

ASSERTIONALLY EQUIVALENT QUASIVARIETIES

0 references

Constructive Logic with Strong Negation as a Substructural Logic

0 references

Ideals and the binary discriminator in universal algebra

0 references

The class of Kleene algebras satisfying an interpolation property and Nelson algebras

0 references

Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)

0 references

Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term

0 references

Para primal algebras

0 references

Representations by algebras of sections over Boolean spaces

0 references

Equational characterization for two-valued states in orthomodular quantum systems

0 references

Logics Which Are Characterized by Subresiduated Lattices

0 references

Monoidal t-norm based logic: Towards a logic for left-continuous t-norms

0 references

Generalized ``Boolean'' theory of universal algebras. I. Subdirect sums and normal representation theorem

0 references

Generalized ``Boolean'' theory of universal algebras. II. Identities and subdirect sums of functionally complete algebras

0 references

Uniform congruence schemes

0 references

Residuated lattices. An algebraic glimpse at substructural logics

0 references

Joins and Direct Products of Equational Classes

0 references

Ideals in universal algebras

0 references

Q4527760

0 references

Varieties with equationally definable principal congruences

0 references

Joins and subdirect products of varieties

0 references

Quasi-subtractive varieties

0 references

MV-algebras and quantum computation

0 references

Applying Universal Algebra to Lambda Calculus

0 references

The ternary discriminator function in universal algebra

0 references

Representable idempotent commutative residuated lattices

0 references

Boolean-like algebras

0 references

Constructive logic with strong negation is a substructural logic. I

0 references

Constructive logic with strong negation is a substructural logic. II

0 references

On subtractive varieties. I

0 references

Varieties in which the Pierce stalks are directly indecomposable

0 references

Equational characterization of the quaternary discriminator

0 references

Notes on \(\eta\)-lattices and constructive logic with strong negation

0 references

full work available at URL

https://doi.org/10.1142/s0218196714500179

0 references

Identifiers

zbMATH Open document ID

1335.08004

0 references

DOI

10.1142/S0218196714500179

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5170143