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