An algebraic study of well-foundedness (Q1087540)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An algebraic study of well-foundedness |
scientific article |
Statements
An algebraic study of well-foundedness (English)
0 references
1985
0 references
A foundational algebra (\({\mathfrak B},f,\lambda)\) consists of a hemimorphism f on a Boolean algebra \({\mathfrak B}\) with a greatest solution \(\lambda\) to the condition \(x\leq f(x)\). The quasi-variety of foundational algebras has a decidable equational theory, and generates the same variety as the complex algebras of structures (X,R), where f is given by R-images and \(\lambda\) is the non-wellfounded part of binary relation R. The corresponding results hold for algebras satisfying \(\lambda =0\), with respect to complex algebras of wellfounded binary relations. These algebras, however, generate the variety of all (\({\mathfrak B},f)\) with f a hemimorphism on \({\mathfrak B}.\) Admitting a second hemimorphism corresponding to the transitive closure of R allows foundational algebras to be equationally defined, in a way that gives a refined analysis of the notion of diagonalisable algebra.
0 references
modal algebra
0 references
modal logic
0 references
algebraic semantics
0 references
foundational algebra
0 references
hemimorphism
0 references
Boolean algebra
0 references
quasi-variety
0 references
decidable equational theory
0 references
complex algebras
0 references
wellfounded binary relations
0 references
diagonalisable algebra
0 references