On the public citation graph
The parameterized local deduction theorem for quasivarieties of algebras and its application
0 signed · 55 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/978-1-4613-8130-3openalex-snapshot
A Course in Universal Algebra
inferredcites →https://doi.org/10.1007/bf00370428openalex-snapshot
Algebraic aspects of deduction theorems
inferredcites →https://doi.org/10.1007/bf00370436openalex-snapshot
Deduction theorems for RM and its extensions
inferredcites →https://doi.org/10.1007/bf00375898openalex-snapshot
On the lattice of quasivarieties of Sugihara algebras
inferredcites →https://doi.org/10.1007/bf01188178openalex-snapshot
On the structure of varieties with equationally definable principal congruences IV
inferredcites →https://doi.org/10.1007/bf01190258openalex-snapshot
Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
inferredcites →https://doi.org/10.1007/bf01190734openalex-snapshot
A finite basis theorem for quasivarieties
inferredcites →https://doi.org/10.1007/bf01203370openalex-snapshot
On the structure of varieties with equationally definable principal congruences II
inferredcites →https://doi.org/10.1007/bf01418759openalex-snapshot
There are $$2^{\aleph _0 } $$ logics with the relevance principle betweenR andRM
inferredcites →https://doi.org/10.1007/bf02120495openalex-snapshot
The logics stronger than Łukasiewicz's three valued sentential calculus-the notion of degree of maximality versus the notion of degree of completeness
inferredcites →https://doi.org/10.1007/bf02124617openalex-snapshot
A note on deduction theorem for Gödel's propositional calculus G4
inferredcites →https://doi.org/10.1007/bf02125917openalex-snapshot
Przegląd twierdzeń o dedukcji dla rachunków zdań
inferredcites →https://doi.org/10.1007/bf02482886openalex-snapshot
Injectivity and congruence extension property in congruence distributive equational classes
inferredcites →https://doi.org/10.1007/bf02483100openalex-snapshot
Varieties with equationally definable principal congruences
inferredcites →https://doi.org/10.1007/bf02483908openalex-snapshot
Principal congruences inN-permutable varieties
inferredcites →https://doi.org/10.1007/bf02483930openalex-snapshot
On classes of algebras with the definability of congruences
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/bf02944983openalex-snapshot
A note on the congruence extension property
inferredcites →https://doi.org/10.1090/s0002-9939-1979-0516452-1openalex-snapshot
On Baker's Finite Basis Theorem for Congruence Distributive Varieties
inferredcites →https://doi.org/10.1112/jlms/s2-1.1.399openalex-snapshot
Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
inferredcites →https://doi.org/10.1112/plms/s3-24.3.507openalex-snapshot
Ordered Topological Spaces and the Representation of Distributive Lattices
inferredcites →https://doi.org/10.4064/cm-42-1-255-261openalex-snapshot
On finitely based varieties of algebras
inferredcites →https://doi.org/10.4153/cjm-1977-048-1openalex-snapshot
Weak Injectivity and Congruence Extension in Congruence-Distributive Equational Classes
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-031-44490-6_5openalex-snapshot
A Gentle Introduction to the Leibniz Hierarchy
inferred← citeshttps://doi.org/10.1007/978-3-031-44490-6_6openalex-snapshot
Czelakowski’s Work on Quasivarieties
inferred← citeshttps://doi.org/10.1007/978-3-319-21200-5_2openalex-snapshot
Basic Properties of Quasivarieties
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-94-017-2807-2_8openalex-snapshot
Regularly Algebraizable Logics
inferred← citeshttps://doi.org/10.1007/s00012-014-0274-3openalex-snapshot
Triangular irreducibility of congruences in quasivarieties
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-020-00692-4openalex-snapshot
Properties not retained by pointed enrichments of finite lattices
inferred← citeshttps://doi.org/10.1007/s000120050060openalex-snapshot
On the congruence extension property
inferred← citeshttps://doi.org/10.1007/s000120050069openalex-snapshot
Relative principal congruences in congruence-modular quasivarieties
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-8303-7openalex-snapshot
General Theory of the Commutator for Deductive Systems. Part I. Basic Facts
inferred← citeshttps://doi.org/10.1007/s11225-009-9188-zopenalex-snapshot
Quasivarieties with Definable Relative Principal Subcongruences
inferred← citeshttps://doi.org/10.1007/s11225-011-9353-zopenalex-snapshot
Contextual Deduction Theorems
inferred← citeshttps://doi.org/10.1016/j.apal.2025.103617openalex-snapshot
Equational definitions of logical filters
inferred← citeshttps://doi.org/10.1017/jsl.2017.89openalex-snapshot
PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE
inferred← citeshttps://doi.org/10.1023/a:1024634225235openalex-snapshot
Review of Protoalgebraic Logics by J. Czelakowski
inferred← citeshttps://doi.org/10.1023/b:cmaj.0000024509.21971.44openalex-snapshot
Subdirectly Irreducible MV-Algebras
inferred← citeshttps://doi.org/10.1134/s003744662202001xopenalex-snapshot
Identities and Quasi-Identities of Pointed Algebras
inferred← citeshttps://doi.org/10.1215/00294527-10670082openalex-snapshot
Deduction Theorem in Congruential Modal Logics
inferred← citeshttps://doi.org/10.2178/jsl/1164060460openalex-snapshot
Glivenko theorems for substructural logics over FL
inferred← citeshttps://doi.org/10.2307/2586764openalex-snapshot
Deduction theorems within RM and its extensions
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.