Intuitionistic Sahlqvist theory for deductive systems
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2022
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917911319281664 |
|---|---|
| author | Fornasiere, Damiano Moraschini, Tommaso |
| author_facet | Fornasiere, Damiano Moraschini, Tommaso |
| contents | Sahlqvist theory is extended to the fragments of the intuitionistic propositional calculus that include the conjunction connective. This allows us to introduce a Sahlqvist theory of intuitionistic character amenable to arbitrary protoalgebraic deductive systems. As an application, we obtain a Sahlqvist theorem for the fragments of the intuitionistic propositional calculus that include the implication connective and for the extensions of the intuitionistic linear logic. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2208_00691 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Intuitionistic Sahlqvist theory for deductive systems Fornasiere, Damiano Moraschini, Tommaso Logic 03G27, 03B20, 06D20, 03B45 Sahlqvist theory is extended to the fragments of the intuitionistic propositional calculus that include the conjunction connective. This allows us to introduce a Sahlqvist theory of intuitionistic character amenable to arbitrary protoalgebraic deductive systems. As an application, we obtain a Sahlqvist theorem for the fragments of the intuitionistic propositional calculus that include the implication connective and for the extensions of the intuitionistic linear logic. |
| title | Intuitionistic Sahlqvist theory for deductive systems |
| topic | Logic 03G27, 03B20, 06D20, 03B45 |
| url | https://arxiv.org/abs/2208.00691 |