The following pages link to (Q4152589):
Displaying 50 items.
- A note on regular De Morgan semi-Heyting algebras (Q305161) (← links)
- Semantical conditions for the definability of functions and relations (Q312209) (← links)
- Boolean-like algebras (Q353355) (← links)
- Boolean algebras arising from information systems (Q598303) (← links)
- Flat unars: the primal, the semi-primal and the dualisable (Q607463) (← links)
- Bounded lattice structured discriminator varieties (Q616628) (← links)
- Axiomatizability by \({\forall \exists!}\)-sentences (Q647342) (← links)
- The homomorphism lattice induced by a finite algebra (Q722581) (← links)
- Monadic Boolean algebras with an automorphism and their relation to \({\mathbf{Df}}_{\mathbf{2}} \)-algebras (Q780237) (← links)
- Functional completeness of bounded structures of fuzzy logic with wvt-operators (Q835282) (← links)
- Congruence-distributive varieties of algebras (Q911623) (← links)
- On \(n \times m\)-valued Łukasiewicz-Moisil algebras (Q944048) (← links)
- A discriminator variety of Gödel algebras with operators arising in quantum computation (Q1037926) (← links)
- Algebraically expandable classes (Q1042420) (← links)
- Quantifier elimination in discriminator varieties (Q1084391) (← links)
- Universal algebras (Q1173984) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Discriminator varieties and symbolic computation (Q1190748) (← links)
- Order-discriminating operations (Q1207718) (← links)
- Injectivity and Boolean powers (Q1255510) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- Expansions of dually pseudocomplemented Heyting algebras (Q1680519) (← links)
- Factor varieties (Q1701682) (← links)
- Implicit definition of the quaternary discriminator (Q1762478) (← links)
- Dirichlet series whose partial sums of coefficients have regular variation (Q1769181) (← links)
- Varieties having Boolean factor congruences (Q1813837) (← links)
- On the structure of varieties with equationally definable principal congruences. I (Q1839272) (← links)
- Endoprimal distributive lattices are endodualisable (Q1905993) (← links)
- An algebraic treatment of quantifier-free systems of arithmetic (Q1915125) (← links)
- Morita equivalence of almost-primal clones (Q1917387) (← links)
- Morita equivalence of quasi-primal algebras and sheaves (Q1921404) (← links)
- Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator (Q1935561) (← links)
- Projective algebras and primitive subquasivarieties in varieties with factor congruences (Q1991598) (← links)
- Infinitary Baker-Pixley theorem (Q1991599) (← links)
- An algebraic study of S5-modal Gödel logic (Q2062210) (← links)
- On the role of logical connectives for primality and functional completeness of algebras of logics (Q2269795) (← links)
- Lattices of boundedly axiomatizable \(\forall\)-subclasses of \(\forall\)-classes of universal algebras (Q2300739) (← links)
- Varieties generated by completions (Q2311330) (← links)
- Lattice-theoretic properties of algebras of logic (Q2448299) (← links)
- On PBZ*-lattices (Q2658283) (← links)
- Arithmeticity at 0 (Q3030874) (← links)
- A Characterization of Finitely Decidable Congruence Modular Varieties (Q3127568) (← links)
- Finitely Boolean Representable Varieties (Q3222907) (← links)
- (Q3781811) (← links)
- Sheaf Constructions and Their Elementary Properties (Q4198732) (← links)
- A Characterization of Function Rings with Boolean Domain (Q4299220) (← links)
- Characterization of discriminator varieties (Q4523186) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- On the Semilattice of Modal Operators and Decompositions of the Discriminator (Q5015971) (← links)
- (Q5179121) (← links)
