| File | |
| language |
eng
|
| Author |
Kondo, Michiro
|
| 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.
|
| Subject | Ockham algebras
Berman class
functional freeness
|
| Journal Title |
島根大学総合理工学部紀要. シリーズB
|
| Volume | 30
|
| Start Page | 49
|
| End Page | 55
|
| ISSN | 13427121
|
| Published Date | 1997-01
|
| NCID | AA11157123
|
| Publisher | 島根大学総合理工学部
|
| NII Type |
Departmental Bulletin Paper
|
| Format |
PDF
|
| Text Version |
出版社版
|
| OAI-PMH Set |
Interdisciplinary Graduate School of Science and Engineering
|
| 他の一覧 |
