scientific article; zbMATH DE number 3751028

Lattice ideals, congruence relations (06B10) Structure theory of algebraic structures (08A05) Automorphisms and endomorphisms of algebraic structures (08A35) Complete lattices, completions (06B23) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Free algebras (08B20) Products, amalgamated products, and other kinds of limits and colimits (08B25) Stone spaces (Boolean spaces) and related structures (06E15) Axiomatic model classes (08C10) Boolean algebras (Boolean rings) (06Exx) Varieties (08Bxx) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Cited in

(only showing first 100 items - show all)

A note on regular congruences of ordered semigroups
Finitely generated varieties of distributive effect algebras
A Duality for Algebras of Lattice-Valued Modal Logic
Gelfand-Ponomarev and Herrmann constructions for quadruples and sextuples
On semi-Boolean-like algebras.
On semigroup constructions induced by commuting retractions on a set
A non-commutative generalization of MV-algebras
scientific article; zbMATH DE number 1154174 (Why is no real title available?)
Axiomatizing the skew Boolean propositional calculus
Rectangular groupoids and related structures
Leibniz interpolation properties
Equational theories of semigroups with involution.
scientific article; zbMATH DE number 7536571 (Why is no real title available?)
A refinement of Stone duality to skew Boolean algebras
A Generalized Version of the Baker–Pixley Theorem
On minimum proper essential extensions in a category
On coconnected algebras
Finite quotients of ultraproducts of finite perfect groups
Bounded distributive lattices with strict implication and weak difference
On the number of countable subdirect powers of unary algebras
Probability and symmetric logic
Decidable unary varieties
Quantum structures versus partially ordered groups
\(\omega\)-filters of distributive lattices
Varieties of MV-monoids and positive MV-algebras
Finite equational bases for subalgebra distributive varieties
On saturated formations of finite monounary algebras
Right Noetherian semigroups
The structure of idempotent residuated chains.
The parameterized local deduction theorem for quasivarieties of algebras and its application
The subvariety lattice of the join of two semigroup varieties.
On axioms for commutative regular equations without addition.
Iterating both and neither: with applications to the paradoxes
Variety of Hom-Sabinin algebras and related algebra subclasses
Infinite-vertex free profinite semigroupoids and symbolic dynamics.
An algebraic investigation of the connexive logic \(\mathsf{C}\)
Intuitionistic logic is a connexive logic
Skew Boolean algebras and discriminator varieties
scientific article; zbMATH DE number 1522517 (Why is no real title available?)
Congruence lattices forcing nilpotency
Invariant and dual-invariant subspaces of k-valued networks
Cosets in universal algebra
Fuzzy inequational logic
Strongly regular rings and rational identities of division rings
Profiniteness in finitely generated varieties is undecidable
The square of opposition in orthomodular logic
Supernilpotence need not imply nilpotence
Rough sets determined by quasiorders
Yankov Characteristic Formulas (An Algebraic Account)
Basis properties for semigroups
On a generalization of Heyting algebras. I
Some remarks on the logic of probabilistic relevance
Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
Variations of the free implicative semilattice extension of a Hilbert algebra
Quasi-modal operators on distributive nearlattices
Strongly nonfinitely based monoids
An algebraic investigation of linear logic
The algebra of ordinary discourse. On the semantics of Cooper's logic
Dynamics in the decompositions approach to quantum mechanics
First order logic without equality on relativized semantics
Splittings in GBL-algebras. I: The general case
Locally commutative power semigroups and counting factors of words
Physical properties as modal operators in the topos approach to quantum mechanics
A sufficient condition for the non-finite basis property of semigroups.
Intermediate logics admitting a structural hypersequent calculus
scientific article; zbMATH DE number 7551770 (Why is no real title available?)
Complexity issues in Basic Logic
σ -Ideals in weak stone algebras
The connection of skew Boolean algebras and discriminator varieties to Church algebras
L-topological spaces
Subdirectly irreducible sectionally pseudocomplemented semilattices
Finitely generated equational classes
Definability in the substructure ordering of simple graphs
On the lattice and the algebra of fuzzy subsets of a universal algebra
Representation by triples of algebras with an MV-retract
Kite \(n\)-perfect pseudo effect algebras
On lattices of formations of monounary algebras with finitely many cycles.
Symmetrical Heyting algebras of order \(3\times 3\)
An alternative construction of graphs by associating with algorithmic approach on MV-algebras
Preideals in EQ-algebras
Non-reversible betting games on fuzzy events: complexity and algebra
Principal congruences on pseudocomplemented semilattices
XI Latin American Symposium on Mathematical Logic
Composite variety-based topological theories
Wajsberg algebras and Post algebras
Commutative idempotent residuated lattices
On finitely related semigroups.
Definability of directly indecomposable congruence modular algebras
Algebraic geometry for MV-algebras
Somep-algebras and doublep-algebras having only principal congruences
Finite two-dimensional proof systems for non-finitely axiomatizable logics
Complexity of the universal theory of modal algebras
An algebraic study of the logic \textbf{S5'(BL)}
On relative principal congruences in term quasivarieties
On deductive bases for paraconsistent answer set semantics
Congruence systems in dual discriminator varieties
General affine adjunctions, Nullstellensätze, and dualities
Coalgebras for Bisimulation of Weighted Automata over Semirings
On lattices with a smallest set of aggregation functions
On the clone of aggregation functions on bounded lattices

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 Q3934450)