On the public citation graph
On the structure of varieties with equationally definable principal congruences IV
0 signed · 218 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.1002/malq.19760220128openalex-snapshot
Logics Which Are Characterized by Subresiduated Lattices
inferredcites →https://doi.org/10.1002/malq.19900360606openalex-snapshot
Note on algebraic models for relevance logic
inferredcites →https://doi.org/10.1007/978-1-4612-9839-7openalex-snapshot
Categories for the Working Mathematician
inferredcites →https://doi.org/10.1007/978-1-4613-8130-3openalex-snapshot
A Course in Universal Algebra
inferredcites →https://doi.org/10.1007/978-1-4613-8928-6openalex-snapshot
The Collected Works of J. Richard Büchi
inferredcites →https://doi.org/10.1007/978-3-322-85796-5openalex-snapshot
Klassische und nichtklassische Aussagenlogik
inferredcites →https://doi.org/10.1007/bf00370272openalex-snapshot
Predicate logics without the structure rules
inferredcites →https://doi.org/10.1007/bf00379766openalex-snapshot
Semantical analysis of predicate logics without the contraction rule
inferredcites →https://doi.org/10.1007/bf01118684openalex-snapshot
Boolean extensions and normal subdirect powers of finite universal algebras
inferredcites →https://doi.org/10.1007/bf01178758openalex-snapshot
Der Verband der normalen verzweigten Modallogiken
inferredcites →https://doi.org/10.1007/bf01190428openalex-snapshot
Congruence-lattices of discrete RUCS varieties
inferredcites →https://doi.org/10.1007/bf01194534openalex-snapshot
Connections between congruence-lattices and polynomial properties
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/bf01359910openalex-snapshot
Komplement�re Halbgruppen Ein Beitrag zur instruktiven Idealtheorie kommutativer Halbgruppen
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/bf02483100openalex-snapshot
Varieties with equationally definable principal congruences
inferredcites →https://doi.org/10.1007/bf02483723openalex-snapshot
On the structure of varieties with equationally definable principal congruences I
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/bf02572662openalex-snapshot
Finitely axiomatizable varieties of BCK-algebras
inferredcites →https://doi.org/10.1007/bf02924844openalex-snapshot
Metric spaces, generalized logic, and closed categories
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/c2009-0-14385-4openalex-snapshot
Topoi - The Categorial Analysis of Logic
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)70493-8openalex-snapshot
A Characterization of Principal Congruences of De Morgan Algebras and its Applications
inferredcites →https://doi.org/10.1016/s0049-237x(09)x7004-7openalex-snapshot
An Algebraic Approach to Non-Classical Logics
inferredcites →https://doi.org/10.1017/s0004972700006390openalex-snapshot
An ordered sheaf representation of subresiduated lattices
inferredcites →https://doi.org/10.1017/s0004972700006730openalex-snapshot
Varieties generated by finite BCK-algebras
inferredcites →https://doi.org/10.1017/s0022481200092513openalex-snapshot
T. Thacher Robinson. Independence of two nice sets of axioms for the propositional calculus. The journal of symbolic logic, vol. 33 (1968), pp. 265–270.
inferredcites →https://doi.org/10.1017/s0027763000018249openalex-snapshot
Super-Łukasiewicz implicational logics
inferredcites →https://doi.org/10.1017/s0027763000019577openalex-snapshot
Super-Łukasiewicz propositional logics
inferredcites →https://doi.org/10.1070/sm1968v004n03abeh002807openalex-snapshot
VARIETIES OF UNIVERSAL ALGEBRAS WITH IDEALS
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-1958-0094302-9openalex-snapshot
Algebraic Analysis of Many Valued Logics
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-1978-0480230-6openalex-snapshot
The semigroup of varieties of Brouwerian semilattices
inferredcites →https://doi.org/10.1090/s0002-9947-1979-0522263-8openalex-snapshot
Sheaf Constructions and Their Elementary Properties
inferredcites →https://doi.org/10.1090/s0002-9947-1982-0662049-7openalex-snapshot
Some Varieties Containing Relation Algebras
inferredcites →https://doi.org/10.1112/blms/19.2.190openalex-snapshot
INTRODUCTION TO HIGHER ORDER CATEGORICAL LOGIC (Cambridge Studies in Advanced Mathematics 7)
inferredcites →https://doi.org/10.1305/ndjfl/1093890617openalex-snapshot
Investigations into the sentential calculus with identity.
inferredcites →https://doi.org/10.1305/ndjfl/1093894723openalex-snapshot
Equational classes of relative Stone algebras.
inferredcites →https://doi.org/10.1515/dema-1985-0209openalex-snapshot
VARIETIES OF COMMUTATIVE BCK-ALGEBRAS NOT GENERATED BY THEIR FINITE MEMBERS
inferredcites →https://doi.org/10.2140/pjm.1971.37.759openalex-snapshot
Varieties of implicative semilattices
inferredcites →https://doi.org/10.2307/1969038openalex-snapshot
On Closed Elements in Closure Algebras
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.2307/2273184openalex-snapshot
The lattice of modal logics: an algebraic investigation
inferredcites →https://doi.org/10.2307/2274537openalex-snapshot
Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part II. Studies in logic and the foundations of mathematics, vol. 115. North-Holland, Amsterdam, New York, and Oxford, 1985, ix + 302 pp.
inferredcites →https://doi.org/10.2307/2274784openalex-snapshot
Introduction to Higher Order Categorical Logic.
inferredcites →https://doi.org/10.2307/2372123openalex-snapshot
Boolean Algebras with Operators. Part I
inferredcites →https://doi.org/10.3792/pja/1195521625openalex-snapshot
Caracterisation des algèbres de Nelson par des egalités, II
inferredcites →https://doi.org/10.3792/pja/1195522171openalex-snapshot
An algebra related with a propositional calculus
inferredcites →https://doi.org/10.4064/-28-1-219-230openalex-snapshot
Hoops and their implicational reducts (abstract)
inferredcites →https://doi.org/10.4064/fm-64-3-257-287openalex-snapshot
Komplementäre Halbgruppen. Axiomatik und Arithmetik
inferredcites →https://doi.org/10.4064/fm-69-1-1-14openalex-snapshot
Komplementäre Halbgruppen Kongruenzen und Quotienten
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.19890350306openalex-snapshot
Pseudocomplemented and Almost Pseudocomplemented Ockham Algebras: Principal Congruences
inferred← citeshttps://doi.org/10.1002/malq.200410022openalex-snapshot
Bounded distributive lattices with strict implication
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.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-319-06233-4_10openalex-snapshot
Semi-linear Varieties of Lattice-Ordered 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_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-540-75939-3_5openalex-snapshot
The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview
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/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-0697-1_6openalex-snapshot
A Survey of Boolean Algebras with Operators
inferred← citeshttps://doi.org/10.1007/978-94-017-0938-5_2openalex-snapshot
Boolean Constructions in Universal Algebras
inferred← citeshttps://doi.org/10.1007/978-94-017-2807-2_8openalex-snapshot
Regularly Algebraizable Logics
inferred← citeshttps://doi.org/10.1007/bf00370684openalex-snapshot
Algebraization of quantifier logics, an introductory overview
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/bf01061240openalex-snapshot
On Ockham algebras: Congruence lattices and subdirectly irreducible algebras
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/bf01190766openalex-snapshot
On the quasivariety of BCK-algebras and its subvarieties
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/bf01197181openalex-snapshot
The parameterized local deduction theorem for quasivarieties of algebras and its application
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-004-1852-6openalex-snapshot
Ternary and quaternary deductive terms for Nelson algebras
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-1905-5openalex-snapshot
MV-algebras: a variety for magnitudes with archimedean units
inferred← citeshttps://doi.org/10.1007/s00012-007-2018-0openalex-snapshot
Implicational subreducts of n-potent commutative residuated lattices
inferred← citeshttps://doi.org/10.1007/s00012-009-0020-4openalex-snapshot
Semiconic idempotent residuated structures
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-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/s000120050050openalex-snapshot
On subtractive weak Brouwerian semilattices
inferred← citeshttps://doi.org/10.1007/s000120050187openalex-snapshot
Splittings in the variety of residuated lattices
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/s10469-012-9181-xopenalex-snapshot
Semilattices of definable subalgebras. II
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/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-1744-7openalex-snapshot
Strengthening Effect Algebras in a Logical Perspective: Heyting-Wajsberg Algebras
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-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-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-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-008-9113-xopenalex-snapshot
Constructive Logic with Strong Negation is a Substructural Logic. I
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-020-09909-yopenalex-snapshot
Double Negation Semantics for Generalisations of 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/s11787-008-0034-2openalex-snapshot
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties
inferred← citeshttps://doi.org/10.1007/s11787-012-0048-7openalex-snapshot
Characteristic Formulas of Partial Heyting Algebras
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.2017.05.001openalex-snapshot
Uniform interpolation and compact congruences
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.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.jalgebra.2008.05.033openalex-snapshot
L-algebras, self-similarity, and l-groups
inferred← citeshttps://doi.org/10.1016/s0021-8693(02)00085-6openalex-snapshot
Geometrical methods in Wajsberg hoops
inferred← citeshttps://doi.org/10.1016/s0022-4049(02)00329-8openalex-snapshot
Varieties of BL-algebras I: general properties
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.1016/s1570-2464(07)80011-5openalex-snapshot
8 Modal consequence relations
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/s0017089500009745openalex-snapshot
Double MSn-algebras and double Kn.m-algebras
inferred← citeshttps://doi.org/10.1017/s0960129521000049openalex-snapshot
Quasi-Nelson algebras and fragments
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.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:1023339330655openalex-snapshot
Amalgamation in 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-9939-1994-1172942-0openalex-snapshot
𝑄-universal quasivarieties of algebras
inferred← citeshttps://doi.org/10.1090/s0002-9947-07-04235-3openalex-snapshot
Representable idempotent commutative residuated lattices
inferred← citeshttps://doi.org/10.1090/s0002-9947-1987-0891629-3openalex-snapshot
The Fraser-Horn and Apple Properties
inferred← citeshttps://doi.org/10.1093/jigpal/jzab023openalex-snapshot
Fragments of Quasi-Nelson: The Algebraizable Core
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.1093/logcom/exab021openalex-snapshot
Ideal related algebras and their logics
inferred← citeshttps://doi.org/10.1142/s0218196714500179openalex-snapshot
Quasi-discriminator varieties
inferred← citeshttps://doi.org/10.1215/00294527-3659423openalex-snapshot
Algebraic Logic Perspective on Prucnal’s Substitution
inferred← citeshttps://doi.org/10.1305/ndjfl/1093634994openalex-snapshot
Notes on modal definability.
inferred← citeshttps://doi.org/10.1515/dema-2013-0334openalex-snapshot
Weak relative pseudocomplements in semilattices
inferred← citeshttps://doi.org/10.1515/dema-2013-0386openalex-snapshot
The variety of all commutative BCK-algebras is generated by its finite members as a quasivariety
inferred← citeshttps://doi.org/10.2178/bsl/1102022665openalex-snapshot
In Memoriam: Willem Johannes Blok 1947–2003
inferred← citeshttps://doi.org/10.2307/2275414openalex-snapshot
The lattice of varieties of representable relation algebras
inferred← citeshttps://doi.org/10.26493/2590-9770.1324.5b2openalex-snapshot
Dual binary discriminator varieties
inferred← citeshttps://doi.org/10.29007/8fkcopenalex-snapshot
Jankov Formula and Ternary Deductive Term
inferred← citeshttps://doi.org/10.3390/axioms13120824openalex-snapshot
Congruence Extensions in Congruence–Modular Varieties
inferred← citeshttps://doi.org/10.4064/-28-1-219-230openalex-snapshot
Hoops and their implicational reducts (abstract)
inferred← citeshttps://doi.org/10.4064/-28-1-239-252openalex-snapshot
Discriminator varieties of Boolean algebras with residuated operators
inferred← citeshttps://doi.org/10.4064/cm-74-2-225-238openalex-snapshot
Definability of principal congruences in equivalential algebras
inferred← citeshttps://doi.org/10.4153/cjm-1986-012-8openalex-snapshot
Extending Algebras to Model Congruence Schemes
inferred← citeshttps://doi.org/10.4236/apm.2014.49057openalex-snapshot
Notes on the Variety of Ternary Algebras
inferred← citeshttps://doi.org/10.4467/20842589rm.16.001.5278openalex-snapshot
Discriminator varieties of double-Heyting algebras
inferred← citeshttps://doi.org/10.48550/arxiv.1010.2552openalex-snapshot
An Algebraic Study of Bilattice-based Logics
inferred← citeshttps://doi.org/10.48550/arxiv.1908.11688openalex-snapshot
Functorial Properties of the Reticulation of a Universal Algebra
inferred← citeshttps://doi.org/10.48550/arxiv.2010.14461openalex-snapshot
An algebraic theory of clones with an application to a question of Birkhoff and Maltsev
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.