Hereditarily Structurally Complete Superintuitionistic Logics and Primitive Varieties of Heyting Algebras
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909946245808128 |
|---|---|
| author | Citkin, Alex |
| author_facet | Citkin, Alex |
| contents | We give an algebraic proof of the criterion for hereditary structural completeness of an intermediate logic, or, equivalently, of the primitiveness of a variety of Heyting algebras. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_05633 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Hereditarily Structurally Complete Superintuitionistic Logics and Primitive Varieties of Heyting Algebras Citkin, Alex Logic 35A0, 65L10, 65L12, 65L20, 65L70 We give an algebraic proof of the criterion for hereditary structural completeness of an intermediate logic, or, equivalently, of the primitiveness of a variety of Heyting algebras. |
| title | Hereditarily Structurally Complete Superintuitionistic Logics and Primitive Varieties of Heyting Algebras |
| topic | Logic 35A0, 65L10, 65L12, 65L20, 65L70 |
| url | https://arxiv.org/abs/2512.05633 |