ファイル | |
言語 |
英語
|
著者 |
近藤 通朗
|
内容記述(抄録等) | 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.
|
主題 | Ockham algebras
Berman class
functional freeness
|
掲載誌名 |
島根大学総合理工学部紀要. シリーズB
|
巻 | 30
|
開始ページ | 49
|
終了ページ | 55
|
ISSN | 13427121
|
発行日 | 1997-01
|
NCID | AA11157123
|
出版者 | 島根大学総合理工学部
|
資料タイプ |
紀要論文
|
ファイル形式 |
PDF
|
著者版/出版社版 |
出版社版
|
部局 |
(旧組織)大学院総合理工学研究科
|
他の一覧 |