Relational semantics for flat Heyting-Lewis Logic
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915899587428352 |
|---|---|
| author | de Groot, Jim Litak, Tadeusz |
| author_facet | de Groot, Jim Litak, Tadeusz |
| contents | We introduce relational semantics for "flat Heyting-Lewis logic" $\mathsf{HLC}^{\flat}$. This logic arises as the extension of intuitionistic logic with a Lewis-style strict implication modality that, contrary to its "sharp" counterpart $\mathsf{HLC}^{\sharp}$, does not turn meets into joins in its first argument. We prove completeness and the finite model property for $\mathsf{HLC}^{\flat}$ and for several extensions with additional axioms. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_28402 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Relational semantics for flat Heyting-Lewis Logic de Groot, Jim Litak, Tadeusz Logic Logic in Computer Science We introduce relational semantics for "flat Heyting-Lewis logic" $\mathsf{HLC}^{\flat}$. This logic arises as the extension of intuitionistic logic with a Lewis-style strict implication modality that, contrary to its "sharp" counterpart $\mathsf{HLC}^{\sharp}$, does not turn meets into joins in its first argument. We prove completeness and the finite model property for $\mathsf{HLC}^{\flat}$ and for several extensions with additional axioms. |
| title | Relational semantics for flat Heyting-Lewis Logic |
| topic | Logic Logic in Computer Science |
| url | https://arxiv.org/abs/2603.28402 |