scientific article; zbMATH DE number 3582215
From MaRDI portal
Publication:4152589
Cited in
(61)- A discriminator variety of Gödel algebras with operators arising in quantum computation
- Algebraically expandable classes
- Quantifier elimination in discriminator varieties
- Universal algebras
- Algebraization of quantifier logics, an introductory overview
- Discriminator varieties and symbolic computation
- Order-discriminating operations
- Injectivity and Boolean powers
- On the structure of varieties with equationally definable principal congruences. III
- Expansions of dually pseudocomplemented Heyting algebras
- Factor varieties
- Implicit definition of the quaternary discriminator
- Dirichlet series whose partial sums of coefficients have regular variation
- Varieties having Boolean factor congruences
- On the structure of varieties with equationally definable principal congruences. I
- Endoprimal distributive lattices are endodualisable
- An algebraic treatment of quantifier-free systems of arithmetic
- Morita equivalence of almost-primal clones
- Morita equivalence of quasi-primal algebras and sheaves
- Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator
- Projective algebras and primitive subquasivarieties in varieties with factor congruences
- Infinitary Baker-Pixley theorem
- An algebraic study of S5-modal Gödel logic
- On the role of logical connectives for primality and functional completeness of algebras of logics
- Lattices of boundedly axiomatizable \(\forall\)-subclasses of \(\forall\)-classes of universal algebras
- Varieties generated by completions
- Lattice-theoretic properties of algebras of logic
- On PBZ*-lattices
- Arithmeticity at 0
- A note on regular De Morgan semi-Heyting algebras
- A Characterization of Finitely Decidable Congruence Modular Varieties
- Finitely Boolean Representable Varieties
- Boolean-like algebras
- scientific article; zbMATH DE number 4043916 (Why is no real title available?)
- Sheaf Constructions and Their Elementary Properties
- A Characterization of Function Rings with Boolean Domain
- Characterization of discriminator varieties
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- On the Semilattice of Modal Operators and Decompositions of the Discriminator
- Modal pseudocomplemented De Morgan algebras
- BL-global representations
- Free algebras in discriminator varieties
- Free algebras in discriminator varieties
- The subquasivariety lattice of a discriminator variety
- Boolean algebras arising from information systems
- Flat unars: the primal, the semi-primal and the dualisable
- The minor order of homomorphisms via natural dualities
- Bounded lattice structured discriminator varieties
- New perspectives on semi-primal varieties
- Factor principal congruences and Boolean products in filtral varieties
- Axiomatizability by \({\forall \exists!}\)-sentences
- Nelson algebras, residuated lattices and rough sets: A survey
- On polynomial completeness properties of finite Mal'cev algebras
- Quasivarieties of algebras whose compact relative congruences are principal
- Epimorphisms between finitely generated algebras
- The homomorphism lattice induced by a finite algebra
- Betweenness algebras
- Monadic Boolean algebras with an automorphism and their relation to \({\mathbf{Df}}_{\mathbf{2}} \)-algebras
- Functional completeness of bounded structures of fuzzy logic with wvt-operators
- Congruence-distributive varieties of algebras
- On \(n \times m\)-valued Łukasiewicz-Moisil algebras
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4152589)
