number of downloads : ?
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
他の一覧
このエントリーをはてなブックマークに追加