A Hierarchy of Algebras for Boolean Subsets

被引：0
|
作者：
Guttmann, Walter [1 ]
Moeller, Bernhard [2 ]
机构：
[1] Univ Canterbury, Dept Comp Sci & Software Engn, Christchurch, New Zealand
[2] Univ Augsburg, Inst Informat, Augsburg, Germany
来源：
RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE | 2020年 / 12062卷
关键词：
PSEUDO-COMPLEMENTS; KLEENE ALGEBRA; AXIOMS; DOMAIN;
D O I：
10.1007/978-3-030-43520-2_10
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present a collection of axiom systems for the construction of Boolean subalgebras of larger overall algebras. The subalgebras are defined as the range of a complement-like operation on a semilattice. This technique has been used, for example, with the antidomain operation, dynamic negation and Stone algebras. We present a common ground for these constructions based on a new equational axiomatisation of Boolean algebras. All results are formally proved in Isabelle/HOL.
引用
收藏
页码：152 / 168
页数：17
相关论文
共 50 条
12345