On the public citation graph

On the quasivariety of BCK-algebras and its subvarieties

https://doi.org/10.1007/bf01190766

0 signed · 54 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.1006/jabr.1993.1061openalex-snapshot

Congruence Permutable and Congruence 3-Permutable Locally Finite Varieties

inferredcites →https://doi.org/10.1007/978-0-387-77487-9openalex-snapshot

Universal Algebra

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/bf01236524openalex-snapshot

Ideal determined varieties need not be congruence 3-permutable

inferredcites →https://doi.org/10.1007/bf02944976openalex-snapshot

Implication algebras are 3-permutable and 3-distributive

inferredcites →https://doi.org/10.1016/0021-8693(88)90065-8openalex-snapshot

Every BCK-algebra is a set of residuables in an integral pomonoid

inferredcites →https://doi.org/10.1016/s1385-7258(60)50050-3openalex-snapshot

Equational completeness and families of sets closed under subtraction

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.1070/im1969v003n01abeh000744openalex-snapshot

CONJUNCTIVELY INDECOMPOSABLE FORMULAS IN PROPOSITIONAL CALCULI

inferredcites →https://doi.org/10.1093/acprof:oso/9780198241560.001.0001openalex-snapshot

Formal Logic

inferredcites →https://doi.org/10.1515/dema-1987-1-218openalex-snapshot

NONE OF THE VARIETY En, n>2, IS LOCALLY FINITE

inferredcites →https://doi.org/10.21136/cmj.1988.102215openalex-snapshot

Tolerances in congruence permutable algebras

inferredcites →https://doi.org/10.21136/cmj.1992.128368openalex-snapshot

Tolerance numbers, congruence $n$-permutability and BCK-algebras

inferredcites →https://doi.org/10.2307/2273798openalex-snapshot

Logics without the contraction rule

inferredcites →https://doi.org/10.2307/2322184openalex-snapshot

A Course in Universal Algebra.

inferredcites →https://doi.org/10.24546/0100491929openalex-snapshot

On ideals in BCK-algebras

inferredcites →https://doi.org/10.24546/0100492035openalex-snapshot

On BCK-Algebras with Condition (S)

inferredcites →https://doi.org/10.24546/0100492060openalex-snapshot

Some Examples of BCK-Algebras

inferredcites →https://doi.org/10.24546/e0001401openalex-snapshot

Congruences on the Products of BCK-Algebras

inferredcites →https://doi.org/10.3792/pja/1195522171openalex-snapshot

An algebra related with a propositional calculus

inferredcites →https://doi.org/10.4467/20842589rmopenalex-snapshot

Reports on Mathematical Logic

What points at this work

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

inferred← citeshttps://doi.org/10.1002/1521-3870(200202)48:2<163::aid-malq163>3.0.co;2-bopenalex-snapshot

Algebraization of the Three-valued BCK-logic

inferred← citeshttps://doi.org/10.1002/malq.200310082openalex-snapshot

Glivenko like theorems in natural expansions of BCK‐logic

inferred← citeshttps://doi.org/10.1002/malq.200610040openalex-snapshot

Bounded BCK‐algebras and their generated variety

inferred← citeshttps://doi.org/10.1002/malq.201300065openalex-snapshot

Lattice BCK logics with Modus Ponens as unique rule

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-94-017-2612-2_1openalex-snapshot

A Classification of Logics over FLew and Almost Maximal Logics

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-010-0061-8openalex-snapshot

Semisimplicity and the discriminator in bounded BCK-algebras

inferred← citeshttps://doi.org/10.1007/s00012-011-0137-0openalex-snapshot

Joins and subdirect products of varieties

inferred← citeshttps://doi.org/10.1007/s00153-006-0023-1openalex-snapshot

Decomposability of free Łukasiewicz implication algebras

inferred← citeshttps://doi.org/10.1007/s00153-008-0067-5openalex-snapshot

Free Łukasiewicz implication algebras

inferred← citeshttps://doi.org/10.1007/s00500-007-0261-0openalex-snapshot

Boolean representation of bounded BCK-algebras

inferred← citeshttps://doi.org/10.1007/s00500-008-0346-4openalex-snapshot

Factor congruences in BCK-algebras

inferred← citeshttps://doi.org/10.1007/s00500-012-0854-0openalex-snapshot

Bounded BCK-algebras of fractions and maximal BCK-algebra of quotients

inferred← citeshttps://doi.org/10.1007/s10773-009-0092-0openalex-snapshot

On the Variety Generated by Bounded Pseudo-BCK-Algebras

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-8312-6openalex-snapshot

On Varieties of Biresiduation Algebras

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-022-09997-yopenalex-snapshot

Splittings in Subreducts of Hoops

inferred← citeshttps://doi.org/10.1007/s11225-022-10011-8openalex-snapshot

On Relative Principal Congruences in Term Quasivarieties

inferred← citeshttps://doi.org/10.1016/j.jal.2013.03.011openalex-snapshot

Skew lattices and binary operations on functions

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.1023/a:1005290924926openalex-snapshot

Linearization of the BCK-logic

inferred← citeshttps://doi.org/10.1023/a:1022873713616openalex-snapshot

On the degrees of permutability of subregular varieties

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/s0218196708004627openalex-snapshot

ASSERTIONALLY EQUIVALENT QUASIVARIETIES

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.26686/ajl.v8i0.1813openalex-snapshot

Logics without the contraction rule and residuated lattices

inferred← citeshttps://doi.org/10.48550/arxiv.2409.09854openalex-snapshot

The bottom of the lattice of BCK-varieties

inferred← citeshttps://doi.org/10.52846/ami.v37i3.342openalex-snapshot

A theorem of representation for Hilbert 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.