Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications (Q6180422)
From MaRDI portal
scientific article; zbMATH DE number 7791581
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications |
scientific article; zbMATH DE number 7791581 |
Statements
Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications (English)
0 references
19 January 2024
0 references
regular double \(p\)-algebra
0 references
regular dually pseudocomplemented Heyting algebra
0 references
regular pseudocomplemented dual Heyting algebras
0 references
and regular double Heyting algebra
0 references
regular De Morgan \(p\)-algebras
0 references
regular De Morgan Heyting algebras
0 references
regular De Morgan double Heyting algebras
0 references
regular De Morgan double \(p\)-algebras
0 references
logic \(\mathcal{RDPCH}\)
0 references
logic \(\mathcal{RPCH}^d\)
0 references
logic \(\mathcal{RDMH}\)
0 references
0 references
0 references
