scholarly journals Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators

2012 ◽  
Vol 68 (1-2) ◽  
pp. 43-56 ◽  
Author(s):  
Nick Bezhanishvili ◽  
Ian Hodkinson
Keyword(s):  
Fixed Point ◽  
Boolean Algebras ◽  
Boolean Algebras With Operators

Boolean Algebras with Operators

1952 ◽  
Vol 74 (1) ◽  
pp. 127 ◽  
Author(s):  
Bjarni Jonnson ◽  
Alfred Tarski
Keyword(s):  
Boolean Algebras ◽  
Boolean Algebras With Operators

An error in a proof in Boolean Algebras with Operators, Part I

2018 ◽  
Vol 79 (2) ◽  
Author(s):  
Richard L. Kramer ◽  
Roger D. Maddux
Keyword(s):  
Boolean Algebras ◽  
Boolean Algebras With Operators

Completions of BOOLEAN Algebras with operators

1970 ◽  
Vol 46 (1-6) ◽  
pp. 47-55 ◽  
Author(s):  
J. Donald Monk
Keyword(s):  
Boolean Algebras ◽  
Boolean Algebras With Operators

Amalgamation in relation algebras

1998 ◽  
Vol 63 (2) ◽  
pp. 479-484 ◽  
Author(s):  
Maarten Marx
Keyword(s):  
Modal Logic ◽  
Equational Theory ◽  
Weak Form ◽  
Boolean Algebras ◽  
The Other ◽  
Relation Algebras ◽  
Boolean Algebras With Operators ◽  
Other Hand ◽  
Arrow Logic ◽  
Representable Relation

We investigate amalgamation properties of relational type algebras. Besides purely algebraic interest, amalgamation in a class of algebras is important because it leads to interpolation results for the logic corresponding to that class (cf. [15]). The multi-modal logic corresponding to relational type algebras became known under the name of “arrow logic” (cf. [18, 17]), and has been studied rather extensively lately (cf. [10]). Our research was inspired by the following result of Andréka et al. [1].Let K be a class of relational type algebras such that(i) composition is associative,(ii) K is a class of boolean algebras with operators, and(iii) K contains the representable relation algebras RRA.Then the equational theory of K is undecidable.On the other hand, there are several classes of relational type algebras (e.g., NA, WA denned below) whose equational (even universal) theories are decidable (cf. [13]). Composition is not associative in these classes. Theorem 5 indicates that also with respect to amalgamation (a very weak form of) associativity forms a borderline. We first recall the relevant definitions.

A duality for Boolean algebras with operators

1983 ◽  
Vol 17 (1) ◽  
pp. 34-49 ◽  
Author(s):  
G. Hansoul
Keyword(s):  
Boolean Algebras ◽  
Boolean Algebras With Operators
Sign in / Sign up

Export Citation Format

Share Document