On the public citation graph
On the structure of varieties with equationally definable principal congruences II
0 signed · 71 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/bf01118684openalex-snapshot
Boolean extensions and normal subdirect powers of finite universal algebras
inferredcites →https://doi.org/10.1007/bf01190428openalex-snapshot
Congruence-lattices of discrete RUCS varieties
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.1016/s0021-9800(70)80086-2openalex-snapshot
Two Mal'cev-type theorems in universal algebra
inferredcites →https://doi.org/10.1016/s0049-237x(09)x7004-7openalex-snapshot
An Algebraic Approach to Non-Classical Logics
inferredcites →https://doi.org/10.1090/s0002-9947-1965-0176944-9openalex-snapshot
Implicative Semi-Lattices
inferredcites →https://doi.org/10.1305/ndjfl/1093894723openalex-snapshot
Equational classes of relative Stone algebras.
inferredcites →https://doi.org/10.2140/pjm.1971.37.759openalex-snapshot
Varieties of implicative semilattices
inferredcites →https://doi.org/10.2307/2268135openalex-snapshot
Some theorems about the sentential calculi of Lewis and Heyting
inferredcites →https://doi.org/10.2307/2271899openalex-snapshot
On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
inferredcites →https://doi.org/10.3792/pja/1195521624openalex-snapshot
Caracterisation des algèbres de Nelson par des egalités, I
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.201020092openalex-snapshot
Free‐decomposability in varieties of semi‐Heyting algebras
inferred← citeshttps://doi.org/10.1002/malq.201200020openalex-snapshot
Inconsistency lemmas in algebraic logic
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-52163-9_8openalex-snapshot
Quasi-Nelson; Or, Non-involutive Nelson Algebras
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-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-3-662-57669-4_16openalex-snapshot
Algebraic Semantics for Nelson’s Logic $$\mathcal {S}$$S
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/bf01195727openalex-snapshot
On the structure of varieties with equationally definable principal congruences III
inferred← citeshttps://doi.org/10.1007/bf01197181openalex-snapshot
The parameterized local deduction theorem for quasivarieties of algebras and its application
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/bf02133176openalex-snapshot
Congruence-distributive varieties of 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-017-0455-yopenalex-snapshot
Relative congruence formulas and decompositions in quasivarieties
inferred← citeshttps://doi.org/10.1007/s000120050050openalex-snapshot
On subtractive weak Brouwerian semilattices
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/s11225-005-1212-3openalex-snapshot
Fregean logics with the multiterm deduction theorem and their algebraization
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-007-9078-1openalex-snapshot
Basic Hoops: an Algebraic Study of Continuous t-norms
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-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.1016/j.apal.2017.05.001openalex-snapshot
Uniform interpolation and compact congruences
inferred← citeshttps://doi.org/10.1016/j.indag.2025.04.006openalex-snapshot
Epimorphisms between finitely generated algebras
inferred← citeshttps://doi.org/10.1017/jsl.2022.1openalex-snapshot
MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
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.1017/s1446788700003025openalex-snapshot
Congruence quasi-orderability in subtractive varieties
inferred← citeshttps://doi.org/10.1017/s1755020318000448openalex-snapshot
VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS
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:ijtp.0000048815.92983.6eopenalex-snapshot
The Sasaki Hook Is Not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One That Assigns Causes
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.1080/11663081.2023.2203312openalex-snapshot
Fragments of quasi-Nelson: residuation
inferred← citeshttps://doi.org/10.1080/11663081.2024.2336386openalex-snapshot
Nelson algebras, residuated lattices and rough sets: A survey
inferred← citeshttps://doi.org/10.1090/s0002-9947-1987-0891629-3openalex-snapshot
The Fraser-Horn and Apple Properties
inferred← citeshttps://doi.org/10.1142/s0218196714500179openalex-snapshot
Quasi-discriminator varieties
inferred← citeshttps://doi.org/10.1145/3359669openalex-snapshot
Fixed-point Elimination in the Intuitionistic Propositional Calculus
inferred← citeshttps://doi.org/10.1515/dema-2000-0202openalex-snapshot
IDEALS AND CONGRUENCES IN GENERALIZED MV-ALGEBRAS
inferred← citeshttps://doi.org/10.1515/dema-2013-0334openalex-snapshot
Weak relative pseudocomplements in semilattices
inferred← citeshttps://doi.org/10.21136/mb.2003.134184openalex-snapshot
Generalized deductive systems in subregular varieties
inferred← citeshttps://doi.org/10.4064/cm-74-2-225-238openalex-snapshot
Definability of principal congruences in equivalential 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.