On the public citation graph
Uniform congruence schemes
0 signed · 74 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/bf02023870openalex-snapshot
Ideals and congruence relations in lattices
inferredcites →https://doi.org/10.1007/bf02485271openalex-snapshot
The number of subdirectly irreducible algebras in a variety
inferredcites →https://doi.org/10.1007/bf02485404openalex-snapshot
Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
inferredcites →https://doi.org/10.1007/bf02485719openalex-snapshot
Weakly associative lattices with congruence extension property
inferredcites →https://doi.org/10.1007/bf02944983openalex-snapshot
A note on the congruence extension property
inferredcites →https://doi.org/10.1016/0012-365x(74)90124-1openalex-snapshot
Near-boolean algebras I: Combinatorial aspects
inferredcites →https://doi.org/10.1016/0021-8693(73)90040-9openalex-snapshot
The classification of idealizable varieties (congruenze ideali IV)
inferredcites →https://doi.org/10.1090/s0002-9939-1970-0265258-1openalex-snapshot
Congruence Relations in Direct Products
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-9947-1971-0274359-9openalex-snapshot
The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
inferredcites →https://doi.org/10.2307/2272886openalex-snapshot
Syntactic characterisations of amalgamation, convexity and related properties
inferredcites →https://doi.org/10.2307/2318190openalex-snapshot
Lattice Theory: First Concepts and Distributive Lattices.
inferredcites →https://doi.org/10.4153/cjm-1977-048-1openalex-snapshot
Weak Injectivity and Congruence Extension in Congruence-Distributive Equational Classes
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.201200020openalex-snapshot
Inconsistency lemmas in algebraic logic
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/bf01182101openalex-snapshot
Dual discriminator subvarieties of a variety
inferred← citeshttps://doi.org/10.1007/bf01188057openalex-snapshot
Definable principal congruences in congruence distributive varieties
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/bf01188396openalex-snapshot
On the behaviour of congruence-functors
inferred← citeshttps://doi.org/10.1007/bf01190258openalex-snapshot
Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
inferred← citeshttps://doi.org/10.1007/bf01190428openalex-snapshot
Congruence-lattices of discrete RUCS varieties
inferred← citeshttps://doi.org/10.1007/bf01190906openalex-snapshot
Remarks on the Fraser-Horn property
inferred← citeshttps://doi.org/10.1007/bf01194534openalex-snapshot
Connections between congruence-lattices and polynomial properties
inferred← citeshttps://doi.org/10.1007/bf01194536openalex-snapshot
Nondefinability of projectivity in lattice varieties
inferred← citeshttps://doi.org/10.1007/bf01194542openalex-snapshot
On the size of congruence lattices for models of theories with definability of congruences
inferred← citeshttps://doi.org/10.1007/bf01197180openalex-snapshot
The subvariety structure of weakly associative lattices with the unique bound property
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/bf01203370openalex-snapshot
On the structure of varieties with equationally definable principal congruences II
inferred← citeshttps://doi.org/10.1007/bf01221790openalex-snapshot
Bjarni J�nsson's contributions in algebra
inferred← citeshttps://doi.org/10.1007/bf01234106openalex-snapshot
On subtractive varieties II: General properties
inferred← citeshttps://doi.org/10.1007/bf01980218openalex-snapshot
Quasivarieties of algebras with definable principle congruences
inferred← citeshttps://doi.org/10.1007/bf02133176openalex-snapshot
Congruence-distributive varieties of algebras
inferred← citeshttps://doi.org/10.1007/bf02261694openalex-snapshot
Varieties whose countable embeddability skeletons are semilattices
inferred← citeshttps://doi.org/10.1007/bf02482886openalex-snapshot
Injectivity and congruence extension property in congruence distributive equational classes
inferred← citeshttps://doi.org/10.1007/bf02483723openalex-snapshot
On the structure of varieties with equationally definable principal congruences I
inferred← citeshttps://doi.org/10.1007/bf02483930openalex-snapshot
On classes of algebras with the definability of congruences
inferred← citeshttps://doi.org/10.1007/bfb0098468openalex-snapshot
Principal congruence formulas in arithmetical varieties
inferred← citeshttps://doi.org/10.1007/s00012-002-8180-5openalex-snapshot
Definable principal subcongruences
inferred← citeshttps://doi.org/10.1007/s00012-004-1917-6openalex-snapshot
Standard topological algebras: syntactic and principal congruences and profiniteness
inferred← citeshttps://doi.org/10.1007/s00012-005-1928-yopenalex-snapshot
Approximate distributive laws and finite equational bases for finite algebras in congruence-distributive varieties
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-018-0545-5openalex-snapshot
Cometic functors and representing order-preserving maps by principal lattice congruences
inferred← citeshttps://doi.org/10.1007/s00012-024-00846-8openalex-snapshot
Factor principal congruences and Boolean products in filtral varieties
inferred← citeshttps://doi.org/10.1007/s000120050059openalex-snapshot
On subtractive varieties IV: Definability of principal ideals
inferred← citeshttps://doi.org/10.1007/s10469-005-0026-8openalex-snapshot
Semilattices of Definable Subalgebras
inferred← citeshttps://doi.org/10.1007/s10469-012-9181-xopenalex-snapshot
Semilattices of definable subalgebras. II
inferred← citeshttps://doi.org/10.1007/s10958-015-2637-5openalex-snapshot
Definable and Autostable Congruences
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-011-9353-zopenalex-snapshot
Contextual Deduction Theorems
inferred← citeshttps://doi.org/10.1007/s11225-018-9796-6openalex-snapshot
On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication
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.1017/jsl.2014.51openalex-snapshot
THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES
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.1023/a:1024634225235openalex-snapshot
Review of Protoalgebraic Logics by J. Czelakowski
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/jzx002openalex-snapshot
Relatively compatible operations in BCK-algebras and some related algebras
inferred← citeshttps://doi.org/10.1142/s0218196714500179openalex-snapshot
Quasi-discriminator varieties
inferred← citeshttps://doi.org/10.21136/cmj.1983.101877openalex-snapshot
On the congruence lattice of stable algebras with definability of compact congruences
inferred← citeshttps://doi.org/10.2140/pjm.1978.76.301openalex-snapshot
Uniform representations of congruence schemes
inferred← citeshttps://doi.org/10.2140/pjm.1982.103.475openalex-snapshot
Congruence lattices of algebras of fixed similarity type. II
inferred← citeshttps://doi.org/10.2989/16073606.2011.622856openalex-snapshot
A perspective on the algebra of logic
inferred← citeshttps://doi.org/10.4153/cjm-1986-012-8openalex-snapshot
Extending Algebras to Model Congruence Schemes
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.