総合理工学部
島根大学総合理工学部
島根大学総合理工学研究科
島根大学総合理工学部紀要.シリーズB

アクセス数 : 1040
ダウンロード数 : 65
島根大学総合理工学部紀要. シリーズB Volume 30
published_at 1997-01

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

Kondo Michiro
full_text_file
c0020030r004.pdf ( 93.1 KB )
Descriptions
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.