Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2512.05633 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _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 |