scientific article; zbMATH DE number 3582215
From MaRDI portal
Publication:4152589
zbMATH Open0374.08002MaRDI QIDQ4152589FDOQ4152589
Authors: Heinrich Werner
Publication date: 1978
Title of this publication is not available (Why is that?)
Model-theoretic algebra (03C60) Structure theory of algebraic structures (08A05) Decidability of theories and sets of sentences (03B25) Varieties (08B99) Algebraic structures (08Axx) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Cited In (60)
- On polynomial completeness properties of finite Mal'cev algebras
- BL-global representations
- Quasivarieties of algebras whose compact relative congruences are principal
- New perspectives on semi-primal varieties
- Factor principal congruences and Boolean products in filtral varieties
- Nelson algebras, residuated lattices and rough sets: A survey
- Free algebras in discriminator varieties
- Projective algebras and primitive subquasivarieties in varieties with factor congruences
- Varieties generated by completions
- The minor order of homomorphisms via natural dualities
- Functional completeness of bounded structures of fuzzy logic with wvt-operators
- Finitely Boolean Representable Varieties
- On the Semilattice of Modal Operators and Decompositions of the Discriminator
- Arithmeticity at 0
- Free algebras in discriminator varieties
- The homomorphism lattice induced by a finite algebra
- Infinitary Baker-Pixley theorem
- A Characterization of Finitely Decidable Congruence Modular Varieties
- A note on regular De Morgan semi-Heyting algebras
- Boolean algebras arising from information systems
- Dirichlet series whose partial sums of coefficients have regular variation
- A Characterization of Function Rings with Boolean Domain
- Discriminator varieties and symbolic computation
- Semantical conditions for the definability of functions and relations
- A discriminator variety of Gödel algebras with operators arising in quantum computation
- Sheaf Constructions and Their Elementary Properties
- Morita equivalence of quasi-primal algebras and sheaves
- Bounded lattice structured discriminator varieties
- On PBZ*-lattices
- Characterization of discriminator varieties
- Algebraization of quantifier logics, an introductory overview
- Axiomatizability by \({\forall \exists!}\)-sentences
- On the structure of varieties with equationally definable principal congruences. I
- An algebraic study of S5-modal Gödel logic
- Universal algebras
- Modal pseudocomplemented De Morgan algebras
- Algebraically expandable classes
- Varieties having Boolean factor congruences
- Morita equivalence of almost-primal clones
- The subquasivariety lattice of a discriminator variety
- An algebraic treatment of quantifier-free systems of arithmetic
- Boolean-like algebras
- 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
- Injectivity and Boolean powers
- Flat unars: the primal, the semi-primal and the dualisable
- Endoprimal distributive lattices are endodualisable
- 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
- Title not available (Why is that?)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- On \(n \times m\)-valued Łukasiewicz-Moisil algebras
- Congruence-distributive varieties of algebras
- On the role of logical connectives for primality and functional completeness of algebras of logics
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)