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