Magari and \(\Delta\)-pseudo-Boolean algebras (Q2640631)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Magari and \(\Delta\)-pseudo-Boolean algebras |
scientific article |
Statements
Magari and \(\Delta\)-pseudo-Boolean algebras (English)
0 references
1990
0 references
The contents of this paper belong to the algebraic theory of those algebras which are studied in connection with the proof-intuitionistic calculus and the modal system GL \((=\) Gödel-Löb). We shall limit ourselves to describing the main result. The Heyting algebra (H,\(\vee,\wedge,\to,0)\) is called \(\Delta\)- enrichable, if there exists an operation \(\Delta\) on H such that \(p\leq \Delta p\), \((\Delta p\to p)=p\) and \(\Delta\) \(p\leq q\vee (q\to p)\) for all p,q\(\in H\). A topological Boolean algebra (B,\(\vee,\wedge,-,I)\) is called Grzegorczyk algebra if for every element \(a\in B\) \(Ia=I(-I(-A\vee Ia)\vee a).\) The main result is that every Grzegorczyk algebra (B,I) is embedding in a Grzegorczyk algebra \((B_ 0,I_ 0)\) in which the Heyting algebra \(H_ 0\) of its open elements in \(\Delta\)-enrichable.
0 references
Magari algebra
0 references
diagonalizable algebra
0 references
provability logic
0 references
Heyting algebra
0 references
topological Boolean algebra
0 references
Grzegorczyk algebra
0 references