Dual categories for endodualisable Heyting algebras: optimization and axiomatization (Q2577735): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 08:21, 3 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dual categories for endodualisable Heyting algebras: optimization and axiomatization |
scientific article |
Statements
Dual categories for endodualisable Heyting algebras: optimization and axiomatization (English)
0 references
6 January 2006
0 references
The paper is contribution to the natural duality theory and to the theory of standard topological quasi-varieties. Especially, the duality on the variety generated by the \(n\)-element Heyting chain is investigated. In the case \(n=4\), the authors give a set of quasi-equations that describe the dual category. A quasi-equational description of the optimal dual category for the variety of Heyting algebras generated by the (non-chain) Heyting algebra \({\mathbf 2}^2\oplus 1\) is given. Some further interesting results are obtained.
0 references
natural duality
0 references
standard topological quasi-variety
0 references
Heyting algebra
0 references