Currently displaying 1 – 6 of 6

Showing per page

Order by Relevance | Title | Year of publication

Equational spectrum of Hilbert varieties

R. PadmanabhanSergiu Rudeanu — 2009

Open Mathematics

We prove that an equational class of Hilbert algebras cannot be defined by a single equation. In particular Hilbert algebras and implication algebras are not one-based. Also, we use a seminal theorem of Alfred Tarski in equational logic to characterize the set of cardinalities of all finite irredundant bases of the varieties of Hilbert algebras, implication algebras and commutative BCK algebras: all these varieties can be defined by independent bases of n elements, for each n > 1.

Page 1

Download Results (CSV)