Please use this identifier to cite or link to this item:
https://hdl.handle.net/2445/220735| Title: | Intuitionistic Sahlqvist theory for deductive systems |
| Author: | Fornasiere, Damiano Moraschini, Tommaso |
| Keywords: | Lògica Proposició (Lògica) Deducció Logic Proposition (Logic) Deduction (Logic) |
| Issue Date: | 1-Dec-2024 |
| Publisher: | Association for Symbolic Logic. |
| Abstract: | 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. |
| Note: | Reproducció del document publicat a: https://doi.org/10.1017/jsl.2023.7 |
| It is part of: | Journal of Symbolic Logic, 2024, vol. 89, num.4, p. 1522-1580 |
| URI: | https://hdl.handle.net/2445/220735 |
| Related resource: | https://doi.org/10.1017/jsl.2023.7 |
| ISSN: | 0022-4812 |
| Appears in Collections: | Articles publicats en revistes (Filosofia) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 893097.pdf | 684.63 kB | Adobe PDF | View/Open |
This item is licensed under a
Creative Commons License
