|
Branching-time type operators on finite pseudo-Boolean algebras
A. D. Yashin Moscow City University of Psychology and Pedagogics
Abstract:
Branching-time type operators on pseudo-Boolean algebras (PBAs) are considered. It is proved that on a finite PBA, every operator of this type is defined by a subset of points on a finite frame presenting that PBA.
Keywords:
pseudo-Boolean algebra, branching-time type operator, finite frame.
Received: 31.01.2008
Citation:
A. D. Yashin, “Branching-time type operators on finite pseudo-Boolean algebras”, Algebra Logika, 47:4 (2008), 509–519; Algebra and Logic, 47:4 (2008), 289–294
Linking options:
https://www.mathnet.ru/eng/al371 https://www.mathnet.ru/eng/al/v47/i4/p509
|
Statistics & downloads: |
Abstract page: | 298 | Full-text PDF : | 73 | References: | 42 | First page: | 7 |
|