| File | |
| Title |
Functional Freeness for the Berman Class K_<m,n> of Ockham Algebras
|
| Creator |
Kondo Michiro
|
| Source Title |
島根大学総合理工学部紀要. シリーズB
|
| Volume | 30 |
| Start Page | 49 |
| End Page | 55 |
| Journal Identifire |
ISSN 13427121
|
| Descriptions |
Abstract
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.
|
| Subjects |
Ockham algebras
Berman class
functional freeness
|
| Language |
eng
|
| Resource Type | departmental bulletin paper |
| Publisher |
島根大学総合理工学部
|
| Date of Issued | 1997-01 |
| Publish Type | Version of Record |
| Access Rights | open access |
| Relation |
[NCID]
AA11157123
|
