On the public citation graph
Ideals in universal algebras
0 signed · 153 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bf01224955openalex-snapshot
An easy way to the commutator in modular varieties
inferredcites →https://doi.org/10.1007/bf01238496openalex-snapshot
A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
inferredcites →https://doi.org/10.1007/bf02416806openalex-snapshot
Su una classe equazionale di algebre
inferredcites →https://doi.org/10.1007/bf02944976openalex-snapshot
Implication algebras are 3-permutable and 3-distributive
inferredcites →https://doi.org/10.1112/plms/s3-6.3.366openalex-snapshot
Groups with Multiple Operators
inferredcites →https://doi.org/10.7146/math.scand.a-10377openalex-snapshot
On the representation of lattices
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/int.22631openalex-snapshot
L‐fuzzy congruence classes in universal algebras
inferred← citeshttps://doi.org/10.1002/malq.201020057openalex-snapshot
Congruences and ideals on Boolean modules: a heterogeneous point of view
inferred← citeshttps://doi.org/10.1002/malq.201020058openalex-snapshot
Congruences and ideals on Peirce algebras: a heterogeneous/homogeneous point of view
inferred← citeshttps://doi.org/10.1006/jabr.1999.7874openalex-snapshot
Congruence Modularity Implies the Arguesian Law for Single Algebras with a Difference Term
inferred← citeshttps://doi.org/10.1006/jabr.2000.8633openalex-snapshot
Functorial Representation Theorems for MVΔ Algebras with Additional Operators
inferred← citeshttps://doi.org/10.1007/978-0-8176-4642-4_4openalex-snapshot
Complexes and their Sheaves
inferred← citeshttps://doi.org/10.1007/978-1-4757-3627-4_3openalex-snapshot
A Survey of Residuated Lattices
inferred← citeshttps://doi.org/10.1007/978-3-030-52163-9_8openalex-snapshot
Quasi-Nelson; Or, Non-involutive Nelson Algebras
inferred← citeshttps://doi.org/10.1007/978-3-030-84319-9_4openalex-snapshot
An Introduction to Regular Categories
inferred← citeshttps://doi.org/10.1007/978-3-030-84319-9_5openalex-snapshot
Categorical Commutator Theory
inferred← citeshttps://doi.org/10.1007/978-3-319-06233-4_10openalex-snapshot
Semi-linear Varieties of Lattice-Ordered Algebras
inferred← citeshttps://doi.org/10.1007/978-3-319-21200-5_5openalex-snapshot
Additivity of the Equationally-Defined Commutator
inferred← citeshttps://doi.org/10.1007/978-3-319-21200-5_8openalex-snapshot
More on Finitely Generated Quasivarieties
inferred← citeshttps://doi.org/10.1007/978-3-319-60840-2_2openalex-snapshot
Generalized Ideals and Co-granular Rough Sets
inferred← citeshttps://doi.org/10.1007/978-94-017-2807-2_8openalex-snapshot
Regularly Algebraizable Logics
inferred← citeshttps://doi.org/10.1007/bf01195383openalex-snapshot
Prime spectra in modular varieties
inferred← citeshttps://doi.org/10.1007/bf01234106openalex-snapshot
On subtractive varieties II: General properties
inferred← citeshttps://doi.org/10.1007/bf01234107openalex-snapshot
On quasi-identities of finite nilpotent algebras
inferred← citeshttps://doi.org/10.1007/bf01236524openalex-snapshot
Ideal determined varieties need not be congruence 3-permutable
inferred← citeshttps://doi.org/10.1007/pl00012452openalex-snapshot
Mailbox¶Generalising congruence regularity for varieties
inferred← citeshttps://doi.org/10.1007/pl00022469openalex-snapshot
Equational fragments of systems for arithmetic
inferred← citeshttps://doi.org/10.1007/s00012-005-1911-7openalex-snapshot
Congruence properties in congruence permutable and in ideal determined varieties, with applications.
inferred← citeshttps://doi.org/10.1007/s00012-010-0084-1openalex-snapshot
Some applications of higher commutators in Mal’cev algebras
inferred← citeshttps://doi.org/10.1007/s00012-011-0133-4openalex-snapshot
The commutator in equivalential algebras and Fregean varieties
inferred← citeshttps://doi.org/10.1007/s00012-011-0156-xopenalex-snapshot
Categorical (binary) difference terms and protomodularity
inferred← citeshttps://doi.org/10.1007/s00012-015-0344-1openalex-snapshot
Joins of subalgebras and normals in 0-regular varieties
inferred← citeshttps://doi.org/10.1007/s00012-017-0422-7openalex-snapshot
Duality in non-abelian algebra III. Normal categories and 0-regular varieties
inferred← citeshttps://doi.org/10.1007/s00012-020-00651-zopenalex-snapshot
On difunctionality of class relations
inferred← citeshttps://doi.org/10.1007/s00012-020-00663-9openalex-snapshot
The structure of generalized BI-algebras and weakening relation algebras
inferred← citeshttps://doi.org/10.1007/s00012-021-00747-0openalex-snapshot
Right-cancellable protomodular algebras
inferred← citeshttps://doi.org/10.1007/s00012-021-00764-zopenalex-snapshot
Abstractly constructed prime spectra
inferred← citeshttps://doi.org/10.1007/s00012-022-00798-xopenalex-snapshot
Projectivity in (bounded) commutative integral residuated lattices
inferred← citeshttps://doi.org/10.1007/s00012-024-00873-5openalex-snapshot
Nilpotent groups in lattice framework
inferred← citeshttps://doi.org/10.1007/s000120050001openalex-snapshot
Ideals and the binary discriminator in universal algebra
inferred← citeshttps://doi.org/10.1007/s000120050050openalex-snapshot
On subtractive weak Brouwerian semilattices
inferred← citeshttps://doi.org/10.1007/s000120050145openalex-snapshot
On subtractive varieties, V: congruence modularity and the commutators
inferred← citeshttps://doi.org/10.1007/s00500-004-0450-zopenalex-snapshot
Generating the variety of BL-algebras
inferred← citeshttps://doi.org/10.1007/s00500-007-0185-8openalex-snapshot
On some properties of quasi-MV algebras and $$\sqrt{^{\prime}}$$ quasi-MV algebras. Part II
inferred← citeshttps://doi.org/10.1007/s00500-012-0915-4openalex-snapshot
Ideals and congruences of basic algebras
inferred← citeshttps://doi.org/10.1007/s00500-013-1200-xopenalex-snapshot
Filters of implication reducts of basic algebras
inferred← citeshttps://doi.org/10.1007/s00500-018-3588-9openalex-snapshot
Compatibly involutive residuated lattices and the Nelson identity
inferred← citeshttps://doi.org/10.1007/s10115-018-1219-5openalex-snapshot
Rough filters based on residuated lattices
inferred← citeshttps://doi.org/10.1007/s10474-006-0087-8openalex-snapshot
Radicals of 0-regular algebras
inferred← citeshttps://doi.org/10.1007/s10474-024-01492-1openalex-snapshot
On class operators for the lower radical class and semisimple closure constructions
inferred← citeshttps://doi.org/10.1007/s10485-013-9344-5openalex-snapshot
Semidirect Products and Split Short Five Lemma in Normal Categories
inferred← citeshttps://doi.org/10.1007/s10485-016-9458-7openalex-snapshot
On Exponentiable Morphisms in Classical Algebra
inferred← citeshttps://doi.org/10.1007/s10699-020-09697-7openalex-snapshot
Classical Logic with n Truth Values as a Symmetric Many-Valued Logic
inferred← citeshttps://doi.org/10.1007/s10773-013-1875-xopenalex-snapshot
On States and State Operators on Certain Basic Algebras
inferred← citeshttps://doi.org/10.1007/s11083-012-9262-4openalex-snapshot
Prelinear Algebras in Relatively Regular Quasivarieties
inferred← citeshttps://doi.org/10.1007/s11225-006-7202-2openalex-snapshot
MV-Algebras and Quantum Computation
inferred← citeshttps://doi.org/10.1007/s11225-006-8303-7openalex-snapshot
General Theory of the Commutator for Deductive Systems. Part I. Basic Facts
inferred← citeshttps://doi.org/10.1007/s11225-006-8312-6openalex-snapshot
On Varieties of Biresiduation Algebras
inferred← citeshttps://doi.org/10.1007/s11225-007-9078-1openalex-snapshot
Basic Hoops: an Algebraic Study of Continuous t-norms
inferred← citeshttps://doi.org/10.1007/s11225-007-9079-0openalex-snapshot
Expanding Quasi-MV Algebras by a Quantum Operator
inferred← citeshttps://doi.org/10.1007/s11225-012-9452-5openalex-snapshot
On Birkhoff’s Common Abstraction Problem
inferred← citeshttps://doi.org/10.1007/s11225-016-9670-3openalex-snapshot
A New View of Effects in a Hilbert Space
inferred← citeshttps://doi.org/10.1007/s11225-021-09946-1openalex-snapshot
Residuated Structures and Orthomodular Lattices
inferred← citeshttps://doi.org/10.1007/s11225-023-10044-7openalex-snapshot
Intuitionistic Logic is a Connexive Logic
inferred← citeshttps://doi.org/10.1007/s11787-008-0034-2openalex-snapshot
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties
inferred← citeshttps://doi.org/10.1007/s40062-013-0063-2openalex-snapshot
The monads of classical algebra are seldom weakly cartesian
inferred← citeshttps://doi.org/10.1016/0021-8693(87)90094-9openalex-snapshot
Cosets in universal algebra
inferred← citeshttps://doi.org/10.1016/b978-0-444-87759-8.50036-5openalex-snapshot
MORE IDEALS IN UNIVERSAL ALGEBRAS
inferred← citeshttps://doi.org/10.1016/j.aim.2004.03.002openalex-snapshot
Topological semi-abelian algebras
inferred← citeshttps://doi.org/10.1016/j.apal.2025.103610openalex-snapshot
Free p-algebras revisited: An algebraic investigation of implication-free intuitionism
inferred← citeshttps://doi.org/10.1016/j.fss.2008.08.001openalex-snapshot
A discriminator variety of Gödel algebras with operators arising in quantum computation
inferred← citeshttps://doi.org/10.1016/j.fss.2015.07.011openalex-snapshot
Categorical foundations of variety-based bornology
inferred← citeshttps://doi.org/10.1016/j.fss.2016.12.014openalex-snapshot
Some properties of pseudo-BCK- and pseudo-BCI-algebras
inferred← citeshttps://doi.org/10.1016/j.fss.2018.07.003openalex-snapshot
Splittings in GBL-algebras II: The representable case
inferred← citeshttps://doi.org/10.1016/j.fss.2023.108742openalex-snapshot
Why most papers on filters are really trivial (including this one)
inferred← citeshttps://doi.org/10.1016/j.ijar.2022.11.018openalex-snapshot
Projectivity and unification in substructural logics of generalized rotations
inferred← citeshttps://doi.org/10.1016/j.jal.2013.03.011openalex-snapshot
Skew lattices and binary operations on functions
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2003.08.008openalex-snapshot
Polynomial interpolation in expanded groups
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2006.05.022openalex-snapshot
Ideals and clots in universal algebra and in semi-abelian categories
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2010.07.043openalex-snapshot
Normalities and commutators
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2012.07.029openalex-snapshot
An axiomatic survey of diagram lemmas for non-abelian group-like structures
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2013.07.037openalex-snapshot
Weighted commutators in semi-abelian categories
inferred← citeshttps://doi.org/10.1016/j.jpaa.2012.02.027openalex-snapshot
Effective descent morphisms of regular epimorphisms
inferred← citeshttps://doi.org/10.1016/j.jpaa.2012.02.028openalex-snapshot
A good theory of ideals in regular multi-pointed categories
inferred← citeshttps://doi.org/10.1016/j.jpaa.2014.02.015openalex-snapshot
Lattice-theoretic properties of algebras of logic
inferred← citeshttps://doi.org/10.1016/j.jpaa.2016.04.013openalex-snapshot
Projectable ℓ-groups and algebras of logic: Categorical and algebraic connections
inferred← citeshttps://doi.org/10.1016/j.jpaa.2016.06.001openalex-snapshot
The snail lemma in a pointed regular category
inferred← citeshttps://doi.org/10.1016/s0022-4049(02)00329-8openalex-snapshot
Varieties of BL-algebras I: general properties
inferred← citeshttps://doi.org/10.1017/s1446788700002998openalex-snapshot
Fregean subtractive varieties with definable congruence
inferred← citeshttps://doi.org/10.1017/s1446788700035436openalex-snapshot
Ideals and other generalizations of congruence classes
inferred← citeshttps://doi.org/10.1017/s1446788723000046openalex-snapshot
CONDITIONAL FLATNESS, FIBERWISE LOCALIZATIONS, AND ADMISSIBLE REFLECTIONS
inferred← citeshttps://doi.org/10.1023/a:1008322226835openalex-snapshot
An Algebraic Approach to Propositional Fuzzy Logic
inferred← citeshttps://doi.org/10.1023/a:1022456608586openalex-snapshot
Congruences and ideals in ternary rings
inferred← citeshttps://doi.org/10.1023/a:1024621922509openalex-snapshot
A Survey of Abstract Algebraic Logic
inferred← citeshttps://doi.org/10.1023/b:stud.0000032089.54776.63openalex-snapshot
From Semirings to Residuated Kleene Lattices
inferred← citeshttps://doi.org/10.1080/00927872.2014.982808openalex-snapshot
A Note on the Abelianization Functor
inferred← citeshttps://doi.org/10.1080/11663081.2024.2336387openalex-snapshot
Granular knowledge and rational approximation in general rough sets – I
inferred← citeshttps://doi.org/10.1080/16073606.1997.9632225openalex-snapshot
IDEAL DETERMINED VARIETIES HAVE UNBOUNDED DEGREES OF PERMUTABILITY
inferred← citeshttps://doi.org/10.1093/jigpal/jzm014openalex-snapshot
Congruences on Dynamic Algebras
inferred← citeshttps://doi.org/10.1093/jigpal/jzq022openalex-snapshot
Completion and amalgamation of bounded distributive quasi lattices
inferred← citeshttps://doi.org/10.1093/jigpal/jzr026openalex-snapshot
Unification and projectivity in Fregean varieties
inferred← citeshttps://doi.org/10.1093/jigpal/jzu006openalex-snapshot
Quasi-subtractive varieties: Open filters, congruences and the commutator
inferred← citeshttps://doi.org/10.1093/jigpal/jzx044openalex-snapshot
On the structure theory of Łukasiewicz near semirings
inferred← citeshttps://doi.org/10.1093/logcom/exab059openalex-snapshot
Strictly join irreducible varieties of residuated lattices
inferred← citeshttps://doi.org/10.1142/s021819670300147xopenalex-snapshot
VARIETIES OF EQUALITY STRUCTURES
inferred← citeshttps://doi.org/10.1142/s0218196703001511openalex-snapshot
THE STRUCTURE OF RESIDUATED LATTICES
inferred← citeshttps://doi.org/10.1142/s0218196708004627openalex-snapshot
ASSERTIONALLY EQUIVALENT QUASIVARIETIES
inferred← citeshttps://doi.org/10.1142/s0218196711006844openalex-snapshot
MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS
inferred← citeshttps://doi.org/10.1142/s0218196714500179openalex-snapshot
Quasi-discriminator varieties
inferred← citeshttps://doi.org/10.1142/s1793557113500095openalex-snapshot
ON ANNIHILATOR IDEALS OF C-ALGEBRAS
inferred← citeshttps://doi.org/10.1142/s1793557113500484openalex-snapshot
QUASICOMPLEMENTED C-ALGEBRAS
inferred← citeshttps://doi.org/10.1142/s1793557113500605openalex-snapshot
ANNULETS AND α-IDEALS OF C-ALGEBRAS
inferred← citeshttps://doi.org/10.1155/2019/5925036openalex-snapshot
L -Fuzzy Prime Ideals in Universal Algebras
inferred← citeshttps://doi.org/10.1155/2020/1469727openalex-snapshot
Annihilators in Universal Algebras: A New Approach
inferred← citeshttps://doi.org/10.1155/2021/4045182openalex-snapshot
Alpha Ideals and the Space of Prime Alpha Ideals in Universal Algebras
inferred← citeshttps://doi.org/10.1515/dema-2000-0202openalex-snapshot
IDEALS AND CONGRUENCES IN GENERALIZED MV-ALGEBRAS
inferred← citeshttps://doi.org/10.1515/ms-2021-0005openalex-snapshot
L-fuzzy cosets in universal algebras
inferred← citeshttps://doi.org/10.1553/sunda2004saii3openalex-snapshot
Locally Transferable Congruences
inferred← citeshttps://doi.org/10.21136/mb.1996.125991openalex-snapshot
Congruences and ideals on left divisible involutory groupoids
inferred← citeshttps://doi.org/10.21136/mb.2003.134184openalex-snapshot
Generalized deductive systems in subregular varieties
inferred← citeshttps://doi.org/10.22405/2226-8383-2021-22-2-271-287openalex-snapshot
On Rees closure in some classes of algebras with an operator
inferred← citeshttps://doi.org/10.2307/2274785openalex-snapshot
Ralph Freese and Ralph McKenzie. Commutator theory for congruence modular varieties. London Mathematical Society lecture note series, no. 125. Cambridge University Press, Cambridge etc. 1987, iii + 227 pp.
inferred← citeshttps://doi.org/10.26493/2590-9770.1324.5b2openalex-snapshot
Dual binary discriminator varieties
inferred← citeshttps://doi.org/10.29252/asta.6.1.1openalex-snapshot
Rough ideals based on ideal determined varieties
inferred← citeshttps://doi.org/10.37193/cjm.2017.02.12openalex-snapshot
Linear representation of Abel-Grassmann groups
inferred← citeshttps://doi.org/10.3934/dcds.2006.15.237openalex-snapshot
Dynamical properties of logical substitutions
inferred← citeshttps://doi.org/10.4064/cm-74-2-225-238openalex-snapshot
Definability of principal congruences in equivalential algebras
inferred← citeshttps://doi.org/10.48550/arxiv.1012.0937openalex-snapshot
Unification and projectivity in Fregean varieties
inferred← citeshttps://doi.org/10.48550/arxiv.1411.7777openalex-snapshot
Linear representation of Abel-Grassmann groups
inferred← citeshttps://doi.org/10.48550/arxiv.1806.06537openalex-snapshot
Boolean-like algebras of finite dimension
inferred← citeshttps://doi.org/10.48550/arxiv.1902.05995openalex-snapshot
Day's Theorem is sharp for $n$ even
inferred← citeshttps://doi.org/10.48550/arxiv.2008.13181openalex-snapshot
Projectivity in (bounded) integral residuated lattices
inferred← citeshttps://doi.org/10.48550/arxiv.2103.01561openalex-snapshot
Ideals in BIT speciale varieties
inferred← citeshttps://doi.org/10.48550/arxiv.math/0411509openalex-snapshot
Dynamical properties of logical substitutions
inferred← citeshttps://doi.org/10.5281/zenodo.171011openalex-snapshot
FIGURE 5 in Demicryptochironomus Lenz from China (Diptera: Chironomidae)
inferred← citeshttps://doi.org/10.5281/zenodo.185422openalex-snapshot
FIGURE 6 in Morphology of first seven larval stages of the striped soldier shrimp, Plesionika edwardsii (Brandt, 1851) (Crustacea: Decapoda: Pandalidae) from laboratory reared material
inferred← citeshttps://doi.org/10.70930/tac/2ucrhuf7openalex-snapshot
The pointed subobject functor, 3× 3 lemmas, and subtractivity of spans
inferred← citeshttps://doi.org/10.70930/tac/c2dbub9xopenalex-snapshot
Symmetry of regular diamonds, the Goursat property, and subtractivity
inferred← citeshttps://doi.org/10.70930/tac/ecjhkbkxopenalex-snapshot
Semidirect products and crossed modules in varieties of right Ω-loops
inferred← citeshttps://doi.org/10.70930/tac/o5yhhu74openalex-snapshot
Relative ideals in homological categories with an application to MV-algebras
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.