Pseudo-Kleene algebras determined by rough sets

We study the pseudo-Kleene algebras of the Dedekind-MacNeille completion of the ordered set of rough set determined by a reflexive relation. We characterize the cases when PBZ and PBZ*-lattices can be defined on these pseudo-Kleene algebras.Comment: 24 pages, minor update to the initial versio

Solutions to decision-making problems in management engineering using molecular computational algorithms and experimentations

制度:新 ; 報告番号:甲3368号 ; 学位の種類:博士(工学) ; 授与年月日:2011/5/23 ; 早大学位記番号:新568

Atom structures of cylindric algebras and relation algebras

Accepted versio