相关Ockham代数类的次直不行约性和滤子.pdfVIP

ö Þ Œ Æ a ¬ Æ   Ø © ÁÁÁ ‡‡‡ 3  a ¬ Ø © ¥, · ‚ Ä k ï Ä ä kHeyting (  Ockham “ ê(L; ∧, ∨, →, f, 0, 1). Ù ¥(L; ∧, ∨, f, 0, 1) ´Ockham “ê §(L; ∧, ∨, →, 0, 1) ´Heyting “ê, …$Ž f Ú → ÷vf (x → y) = f 2 (x) ∧ f (y) Úf (x) → y = f 2 (x) ∨ y . ·‚{¡ù«“êHO-“ê. ·‚uyHO-“êL Ó{ ∗ ‚ConL Óu{ØÈf‚CKF (L). ·‚„ Ñ, XJL´ -ŒüXg†ØŒ HO-“ê, @o§kü‡pØ Óg†ØŒ“꧿…駂?1 [x ·‚„ïÄ bdpO-“ê =²ïŒ–ÖOckham “ê Èf bdpO-“ê ´˜‡2, 2, 1, 1, 0, 0 a. “ê(L; ∧, ∨, f, ∗ , 0, 1). Ù ¥(L; f ) ´Ockham “ ∗ ∗ ∗ 2 ∗ ê, (L; ) ´Œ–Ö“ê, …˜$Žf Ú dðª[f (x)] = f (x) †f (x ) = x∗∗ ¤ë(. ·‚Äkx Èf 5Ÿ9Ù Ó{A, ,Ä §‚ Ó {˜—†Ó{và5Ÿ. …c: Ockham “ê; Heyting “ê; Œ–Ö‚; Èf; g†ØŒ“ê. I ö Þ Œ Æ a ¬ Æ   Ø © Abstract In first part of the thesis, we study of Ockham algebras with Heyting structures (L; ∧, ∨, →, f, 0, 1), where (L; ∧, ∨, f, 0, 1) is an Ockham algebra, (L; ∧, ∨, →, 0, 1) is a Heyting-algebra, and the operations x → f (x) and x → x∗ satisfy the identities f (x → y) = f 2 (x) ∧ f (y) and f (x) → y = f 2 (x) ∨ y . We shall denote by HO the class of these algebras. We show that if L is HO- algebra, then ConL ∼ CKF (L), where CKF (L) denotes the set of all of the = cokernel filters. Furthermore, we show that if L ∈ HO is ∗-semi-simple subdi- rectly irreducible, there are precisely two non-isomorphic subdirectly irreducible members in the class of these algebras and give a complete description of them. In the second part, we investigate the filters of Ockham algebras with bal- anced demi-pseudocomplementation. An Ockh