scientific article; zbMATH DE number 3582215
From MaRDI portal
Publication:4152589
zbMath0374.08002MaRDI QIDQ4152589
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Structure theory of algebraic structures (08A05) Varieties (08B99) Algebraic structures (08Axx) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Related Items (57)
Characterization of discriminator varieties ⋮ Quantifier elimination in discriminator varieties ⋮ Functional completeness of bounded structures of fuzzy logic with wvt-operators ⋮ On the structure of varieties with equationally definable principal congruences. III ⋮ A note on regular De Morgan semi-Heyting algebras ⋮ Semantical conditions for the definability of functions and relations ⋮ Endoprimal distributive lattices are endodualisable ⋮ Boolean-like algebras ⋮ Sheaf Constructions and Their Elementary Properties ⋮ An algebraic treatment of quantifier-free systems of arithmetic ⋮ On PBZ*-lattices ⋮ Boolean algebras arising from information systems ⋮ Morita equivalence of almost-primal clones ⋮ Morita equivalence of quasi-primal algebras and sheaves ⋮ Flat unars: the primal, the semi-primal and the dualisable ⋮ Expansions of dually pseudocomplemented Heyting algebras ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Bounded lattice structured discriminator varieties ⋮ Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator ⋮ The minor order of homomorphisms via natural dualities ⋮ New perspectives on semi-primal varieties ⋮ Factor principal congruences and Boolean products in filtral varieties ⋮ Factor varieties ⋮ Congruence-distributive varieties of algebras ⋮ Arithmeticity at 0 ⋮ Axiomatizability by \({\forall \exists!}\)-sentences ⋮ Lattice-theoretic properties of algebras of logic ⋮ Universal algebras ⋮ On \(n \times m\)-valued Łukasiewicz-Moisil algebras ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Discriminator varieties and symbolic computation ⋮ Projective algebras and primitive subquasivarieties in varieties with factor congruences ⋮ Infinitary Baker-Pixley theorem ⋮ Order-discriminating operations ⋮ Implicit definition of the quaternary discriminator ⋮ Free algebras in discriminator varieties ⋮ The subquasivariety lattice of a discriminator variety ⋮ A Characterization of Function Rings with Boolean Domain ⋮ Dirichlet series whose partial sums of coefficients have regular variation ⋮ Free algebras in discriminator varieties ⋮ On the role of logical connectives for primality and functional completeness of algebras of logics ⋮ The homomorphism lattice induced by a finite algebra ⋮ Injectivity and Boolean powers ⋮ Lattices of boundedly axiomatizable \(\forall\)-subclasses of \(\forall\)-classes of universal algebras ⋮ Varieties having Boolean factor congruences ⋮ Finitely Boolean Representable Varieties ⋮ An algebraic study of S5-modal Gödel logic ⋮ Varieties generated by completions ⋮ A discriminator variety of Gödel algebras with operators arising in quantum computation ⋮ Algebraically expandable classes ⋮ Monadic Boolean algebras with an automorphism and their relation to \({\mathbf{Df}}_{\mathbf{2}} \)-algebras ⋮ On the structure of varieties with equationally definable principal congruences. I ⋮ Unnamed Item ⋮ A Characterization of Finitely Decidable Congruence Modular Varieties ⋮ On the Semilattice of Modal Operators and Decompositions of the Discriminator ⋮ BL-global representations ⋮ Unnamed Item
This page was built for publication:
