Dual binary discriminator varieties
From MaRDI portal
Publication:5210626
DOI10.26493/2590-9770.1324.5b2zbMath1484.06053OpenAlexW3000504276WikidataQ126354242 ScholiaQ126354242MaRDI QIDQ5210626
Publication date: 21 January 2020
Published in: The Art of Discrete and Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.26493/2590-9770.1324.5b2
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Boolean-like algebras
- Principal congruences on pseudocomplemented semilattices
- An intriguing logic with two implicational connectives
- Ideals in universal algebras
- Skew lattices in rings
- Normal skew lattices
- Quantifiers on distributive lattices
- Discriminator varieties and symbolic computation
- On subtractive varieties. III: From ideals to congruences
- On the structure of varieties with equationally definable principal congruences. IV
- On subtractive varieties. I
- On the structure of varieties with equationally definable principal congruences. III
- Skew Boolean algebras and discriminator varieties
- On subtractive varieties. IV: Definability of principal ideals
- The connection of skew Boolean algebras and discriminator varieties to Church algebras
- Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
- Congruence properties in congruence permutable and in ideal determined varieties, with applications.
- Skew Boolean algebras
- Algebraizable logics
- On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
- Boolean product representations of algebras via binary polynomials
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Direct sums in general algebra
- Ideals and the binary discriminator in universal algebra
This page was built for publication: Dual binary discriminator varieties
