On the public citation graph

On the structure of varieties with equationally definable principal congruences I

https://doi.org/10.1007/bf02483723
0 signed · 127 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-0-387-77487-9openalex-snapshot
Universal Algebra
inferredcites →https://doi.org/10.1007/978-1-4612-9839-7openalex-snapshot
Categories for the Working Mathematician
inferredcites →https://doi.org/10.1007/978-3-322-85796-5openalex-snapshot
Klassische und nichtklassische Aussagenlogik
inferredcites →https://doi.org/10.1007/bf01178758openalex-snapshot
Der Verband der normalen verzweigten Modallogiken
inferredcites →https://doi.org/10.1007/bf01836429openalex-snapshot
Distributive lattices with an additional unary operation
inferredcites →https://doi.org/10.1007/bf02121661openalex-snapshot
Representation and duality theory for diagonalizable algebras
inferredcites →https://doi.org/10.1007/bf02121663openalex-snapshot
On the equational class of diagonalizable algebras
inferredcites →https://doi.org/10.1007/bf02482900openalex-snapshot
Uniform congruence schemes
inferredcites →https://doi.org/10.1007/bf02483100openalex-snapshot
Varieties with equationally definable principal congruences
inferredcites →https://doi.org/10.1007/bf02485416openalex-snapshot
Equational compactness in quasi-primal varieties
inferredcites →https://doi.org/10.1007/bf02485823openalex-snapshot
Equational axions for classes of Heyting algebras
inferredcites →https://doi.org/10.1007/bf02488034openalex-snapshot
Intuitionistic diagonalizable algebras
inferredcites →https://doi.org/10.1007/bf02896795openalex-snapshot
Varietà a quozienti filtrali
inferredcites →https://doi.org/10.1007/bf02945123openalex-snapshot
The structure of distributive doublep-algebras. Regularity and congruences
inferredcites →https://doi.org/10.1016/0001-8708(77)90056-1openalex-snapshot
Finite equational bases for finite algebras in a congruence-distributive equational class
inferredcites →https://doi.org/10.1016/1385-7258(75)90033-5openalex-snapshot
Equational classes of closure algebras. I
inferredcites →https://doi.org/10.1016/s0049-237x(09)x7004-7openalex-snapshot
An Algebraic Approach to Non-Classical Logics
inferredcites →https://doi.org/10.1016/s0049-237x(09)x7012-6openalex-snapshot
Mathematical Interpretation of Formal Systems
inferredcites →https://doi.org/10.1016/s1385-7258(55)50009-6openalex-snapshot
Contributions to the theory of models. III
inferredcites →https://doi.org/10.1090/s0002-9939-1973-0392730-9openalex-snapshot
Principal Congruences of Pseudocomplemented Distributive Lattices
inferredcites →https://doi.org/10.1090/s0002-9939-1976-0409293-4openalex-snapshot
Principal Congruences of p-Algebras and Double p-Algebras
inferredcites →https://doi.org/10.1090/s0002-9947-1965-0176944-9openalex-snapshot
Implicative Semi-Lattices
inferredcites →https://doi.org/10.1090/s0002-9947-1971-0274358-7openalex-snapshot
The Structure of Pseudocomplemented Distributive Lattices. I: Subdirect Decomposition
inferredcites →https://doi.org/10.1090/s0002-9947-1972-0313141-1openalex-snapshot
Equational Bases and Nonmodular Lattice Varieties
inferredcites →https://doi.org/10.1090/s0002-9947-1974-0349532-4openalex-snapshot
Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
inferredcites →https://doi.org/10.1090/s0002-9947-1979-0522263-8openalex-snapshot
Sheaf Constructions and Their Elementary Properties
inferredcites →https://doi.org/10.1305/ndjfl/1093893707openalex-snapshot
Semi-Boolean lattices.
inferredcites →https://doi.org/10.1515/9783112733332openalex-snapshot
Discriminator-Algebras
inferredcites →https://doi.org/10.2307/2273184openalex-snapshot
The lattice of modal logics: an algebraic investigation
inferredcites →https://doi.org/10.2307/2372074openalex-snapshot
Boolean Algebras with Operators
inferredcites →https://doi.org/10.2307/2372123openalex-snapshot
Boolean Algebras with Operators. Part I
inferredcites →https://doi.org/10.4153/cjm-1970-101-4openalex-snapshot
Equational Classes of Distributive Pseudo-Complemented Lattices
inferredcites →https://doi.org/10.7146/math.scand.a-10850openalex-snapshot
Algebras Whose Congruence Lattices are Distributive.

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/malq.19870330610openalex-snapshot
Heyting Algebras with a Dual Lattice Endomorphism
inferred← citeshttps://doi.org/10.1002/malq.19890350306openalex-snapshot
Pseudocomplemented and Almost Pseudocomplemented Ockham Algebras: Principal Congruences
inferred← citeshttps://doi.org/10.1002/malq.200710054openalex-snapshot
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
inferred← citeshttps://doi.org/10.1002/malq.201200020openalex-snapshot
Inconsistency lemmas in algebraic logic
inferred← citeshttps://doi.org/10.1002/malq.201900012openalex-snapshot
Singly generated quasivarieties and residuated structures
inferred← citeshttps://doi.org/10.1006/jabr.1996.6834openalex-snapshot
Varieties of Commutative Residuated Integral Pomonoids and Their Residuation Subreducts
inferred← citeshttps://doi.org/10.1007/978-1-4020-9084-4_4openalex-snapshot
All Splitting Logics in the Lattice NExt(KTB)
inferred← citeshttps://doi.org/10.1007/978-3-030-76920-8_2openalex-snapshot
Universal Algebraic Methods for Non-classical Logics
inferred← citeshttps://doi.org/10.1007/978-3-031-06843-0_4openalex-snapshot
Jankov Formulas and Axiomatization Techniques for Intermediate Logics
inferred← citeshttps://doi.org/10.1007/978-3-031-06843-0_5openalex-snapshot
Yankov Characteristic Formulas (An Algebraic Account)
inferred← citeshttps://doi.org/10.1007/978-3-032-14339-6_10openalex-snapshot
On Splittings in Lattices of Quasivarieties of Heyting Algebras
inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_5openalex-snapshot
Characteristic Formulas Over Intermediate Logics
inferred← citeshttps://doi.org/10.1007/978-3-319-74772-9_1openalex-snapshot
A Mathematical Life
inferred← citeshttps://doi.org/10.1007/978-3-319-74772-9_13openalex-snapshot
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
inferred← citeshttps://doi.org/10.1007/978-3-319-74772-9_4openalex-snapshot
Introducing Boolean Semilattices
inferred← citeshttps://doi.org/10.1007/978-81-322-1812-8_54-1openalex-snapshot
A Few Historical Glimpses into the Interplay Between Algebra and Logic and Investigations into Gautama Algebras
inferred← citeshttps://doi.org/10.1007/978-81-322-2577-5_54openalex-snapshot
A Few Historical Glimpses into the Interplay Between Algebra and Logic and Investigations into Gautama Algebras
inferred← citeshttps://doi.org/10.1007/978-94-017-0454-0_2openalex-snapshot
Advanced Modal Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-0697-1_6openalex-snapshot
A Survey of Boolean Algebras with Operators
inferred← citeshttps://doi.org/10.1007/bf00370686openalex-snapshot
Axiomatizing logics closely related to varieties
inferred← citeshttps://doi.org/10.1007/bf00971206openalex-snapshot
The word problem for discriminator varieties
inferred← citeshttps://doi.org/10.1007/bf01053064openalex-snapshot
On reduced matrices
inferred← citeshttps://doi.org/10.1007/bf01061240openalex-snapshot
On Ockham algebras: Congruence lattices and subdirectly irreducible algebras
inferred← citeshttps://doi.org/10.1007/bf01099284openalex-snapshot
Universal algebras
inferred← citeshttps://doi.org/10.1007/bf01188178openalex-snapshot
On the structure of varieties with equationally definable principal congruences IV
inferred← citeshttps://doi.org/10.1007/bf01190428openalex-snapshot
Congruence-lattices of discrete RUCS varieties
inferred← citeshttps://doi.org/10.1007/bf01190734openalex-snapshot
A finite basis theorem for quasivarieties
inferred← citeshttps://doi.org/10.1007/bf01190775openalex-snapshot
Quasivarieties of distributivep-algebras
inferred← citeshttps://doi.org/10.1007/bf01190816openalex-snapshot
The determination of subvarieties of certain congruence-distributive varieties
inferred← citeshttps://doi.org/10.1007/bf01191083openalex-snapshot
Finite bases for finitely generated, relatively congruence distributive quasivarieties
inferred← citeshttps://doi.org/10.1007/bf01191089openalex-snapshot
Free algebras in discriminator varieties
inferred← citeshttps://doi.org/10.1007/bf01195145openalex-snapshot
Discriminator polynomials and arithmetical varieties
inferred← citeshttps://doi.org/10.1007/bf01195727openalex-snapshot
On the structure of varieties with equationally definable principal congruences III
inferred← citeshttps://doi.org/10.1007/bf01221790openalex-snapshot
Bjarni J�nsson's contributions in algebra
inferred← citeshttps://doi.org/10.1007/bf01243871openalex-snapshot
The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences
inferred← citeshttps://doi.org/10.1007/bf01794981openalex-snapshot
Even more about the lattice of tense logics
inferred← citeshttps://doi.org/10.1007/bf01978303openalex-snapshot
Finite pseudo-Boolean and topological Boolean algebras not having an independent basis of quasiidentities
inferred← citeshttps://doi.org/10.1007/bf02133176openalex-snapshot
Congruence-distributive varieties of algebras
inferred← citeshttps://doi.org/10.1007/s00012-009-0020-4openalex-snapshot
Semiconic idempotent residuated structures
inferred← citeshttps://doi.org/10.1007/s00012-011-0155-yopenalex-snapshot
Natural extensions and profinite completions of algebras
inferred← citeshttps://doi.org/10.1007/s00012-014-0272-5openalex-snapshot
Implicative twist-structures
inferred← citeshttps://doi.org/10.1007/s00012-015-0365-9openalex-snapshot
Operator properties of congruence permutable varieties with strongly definable principal congruences
inferred← citeshttps://doi.org/10.1007/s00012-017-0455-yopenalex-snapshot
Relative congruence formulas and decompositions in quasivarieties
inferred← citeshttps://doi.org/10.1007/s00012-023-00837-1openalex-snapshot
Semilinear De Morgan monoids and epimorphisms
inferred← citeshttps://doi.org/10.1007/s10469-005-0026-8openalex-snapshot
Semilattices of Definable Subalgebras
inferred← citeshttps://doi.org/10.1007/s10587-014-0088-7openalex-snapshot
Congruence lattices in varieties with compact intersection property
inferred← citeshttps://doi.org/10.1007/s11083-006-9032-2openalex-snapshot
Algebras Defined from Ordered Sets and the Varieties they Generate
inferred← citeshttps://doi.org/10.1007/s11202-006-0082-xopenalex-snapshot
On the subsemilattices of first-order definable and openly first-order definable congruences of the congruence lattice of a universal algebra
inferred← citeshttps://doi.org/10.1007/s11225-005-0106-8openalex-snapshot
Fragments of R-Mingle
inferred← citeshttps://doi.org/10.1007/s11225-006-8295-3openalex-snapshot
In Memory of Willem Johannes Blok 1947-2003
inferred← citeshttps://doi.org/10.1007/s11225-006-8297-1openalex-snapshot
Willem Blok's Contribution to Abstract Algebraic Logic
inferred← citeshttps://doi.org/10.1007/s11225-006-8308-2openalex-snapshot
Semisimple Varieties of Modal Algebras
inferred← citeshttps://doi.org/10.1007/s11225-006-8310-8openalex-snapshot
Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes
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-011-9326-2openalex-snapshot
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices
inferred← citeshttps://doi.org/10.1007/s11225-012-9391-1openalex-snapshot
Not Every Splitting Heyting or Interior Algebra is Finitely Presentable
inferred← citeshttps://doi.org/10.1007/s11225-012-9460-5openalex-snapshot
Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator
inferred← citeshttps://doi.org/10.1007/s11225-017-9712-5openalex-snapshot
Expansions of Dually Pseudocomplemented Heyting Algebras
inferred← citeshttps://doi.org/10.1007/s11225-018-9836-2openalex-snapshot
Varieties of BL-Algebras III: Splitting Algebras
inferred← citeshttps://doi.org/10.1007/s11225-022-10012-7openalex-snapshot
Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality
inferred← citeshttps://doi.org/10.1007/s11225-023-10044-7openalex-snapshot
Intuitionistic Logic is a Connexive Logic
inferred← citeshttps://doi.org/10.1007/s11225-023-10070-5openalex-snapshot
Semisimplicity and Congruence 3-Permutabilty for Quasivarieties with Equationally Definable Principal Congruences
inferred← citeshttps://doi.org/10.1007/s11225-023-10081-2openalex-snapshot
On Pretabular Extensions of Relevance Logic
inferred← citeshttps://doi.org/10.1007/s11225-026-10233-0openalex-snapshot
Splittings and Finite Basis Theorems
inferred← citeshttps://doi.org/10.1016/j.apal.2016.03.002openalex-snapshot
Almost structural completeness; an algebraic approach
inferred← citeshttps://doi.org/10.1016/j.apal.2020.102824openalex-snapshot
Epimorphism surjectivity in varieties of Heyting algebras
inferred← citeshttps://doi.org/10.1016/j.apal.2024.103490openalex-snapshot
Bi-intermediate logics of trees and co-trees
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.2019.06.015openalex-snapshot
Splittings in GBL-algebras I: The general case
inferred← citeshttps://doi.org/10.1016/j.fss.2021.08.020openalex-snapshot
Varieties of K-lattices
inferred← citeshttps://doi.org/10.1016/s0049-237x(07)80016-4openalex-snapshot
Semisimplicity
inferred← citeshttps://doi.org/10.1016/s0049-237x(13)70005-3openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/s0168-0072(96)00049-8openalex-snapshot
The structure of lattices of subframe logics
inferred← citeshttps://doi.org/10.1016/s0168-0072(97)00012-2openalex-snapshot
Model completions and r-Heyting categories
inferred← citeshttps://doi.org/10.1017/s0017089500009745openalex-snapshot
Double MSn-algebras and double Kn.m-algebras
inferred← citeshttps://doi.org/10.1017/s1446788700000896openalex-snapshot
Congruence intersection properties for varieties of algebras
inferred← citeshttps://doi.org/10.1017/s1446788700002998openalex-snapshot
Fregean subtractive varieties with definable congruence
inferred← citeshttps://doi.org/10.1023/a:1004916107078openalex-snapshot
Superintuitionistic Companions of Classical Modal Logics
inferred← citeshttps://doi.org/10.1023/a:1005299210813openalex-snapshot
Varieties of Pseudo-Interior Algebras
inferred← citeshttps://doi.org/10.1023/a:1024621922509openalex-snapshot
A Survey of Abstract Algebraic Logic
inferred← citeshttps://doi.org/10.1023/b:stud.0000037125.49866.50openalex-snapshot
Free Łukasiewicz and Hoop Residuation Algebras
inferred← citeshttps://doi.org/10.1023/b:stud.0000037129.58589.0copenalex-snapshot
Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices
inferred← citeshttps://doi.org/10.1080/00927870802157814openalex-snapshot
Residuated Structures, Concentric Sums and Finiteness Conditions
inferred← citeshttps://doi.org/10.1090/s0002-9947-07-04235-3openalex-snapshot
Representable idempotent commutative residuated lattices
inferred← citeshttps://doi.org/10.1093/jigpal/jzaa015openalex-snapshot
Nelson’s logic 𝒮
inferred← citeshttps://doi.org/10.1093/jigpal/jzu006openalex-snapshot
Quasi-subtractive varieties: Open filters, congruences and the commutator
inferred← citeshttps://doi.org/10.1093/logcom/exab081openalex-snapshot
Projective unification in weakly transitive and weakly symmetric modal logics
inferred← citeshttps://doi.org/10.1142/s0218196709005251openalex-snapshot
FREGEAN VARIETIES
inferred← citeshttps://doi.org/10.1142/s0218196714500179openalex-snapshot
Quasi-discriminator varieties
inferred← citeshttps://doi.org/10.1142/s021819672150034xopenalex-snapshot
Splittings in varieties of logic
inferred← citeshttps://doi.org/10.1515/dema-2013-0334openalex-snapshot
Weak relative pseudocomplements in semilattices
inferred← citeshttps://doi.org/10.1515/ms-2017-0222openalex-snapshot
Going up and lying over in congruence-modular algebras
inferred← citeshttps://doi.org/10.4236/apm.2014.49057openalex-snapshot
Notes on the Variety of Ternary Algebras
inferred← citeshttps://doi.org/10.7561/sacs.2018.1.67openalex-snapshot
The Reticulation of a Universal Algebr
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.