Memoirs of the Graduate School of Science and Engineering, Shimane University. Series B, Mathematics

number of downloads : ?
Memoirs of the Graduate School of Science and Engineering, Shimane University. Series B, Mathematics 30
1997-01 発行

Functional Freeness for the Berman Class K_<m,n> of Ockham Algebras

Kondo, Michiro
File
Description
In this paper we show that an algebra Ω(m,n) is functionally free for the Berman class K_<m,n> of Ockham algebras, that is, for any two polynomials f and g, they are identically equal in K_<m,n> if and only if f = g holds in Ω(m,n). This result can be applied to the well-known algebras, e.g.,Boolean, de Morgan, Kleene, Stone, Bunge algebras, and so on.