Please use this identifier to cite or link to this item:
https://hdl.handle.net/2445/220735Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Fornasiere, Damiano | - |
| dc.contributor.author | Moraschini, Tommaso | - |
| dc.date.accessioned | 2025-04-30T14:58:54Z | - |
| dc.date.available | 2025-04-30T14:58:54Z | - |
| dc.date.issued | 2024-12-01 | - |
| dc.identifier.issn | 0022-4812 | - |
| dc.identifier.uri | https://hdl.handle.net/2445/220735 | - |
| dc.description.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. | - |
| dc.format.extent | 59 p. | - |
| dc.format.mimetype | application/pdf | - |
| dc.language.iso | eng | - |
| dc.publisher | Association for Symbolic Logic. | - |
| dc.relation.isformatof | Reproducció del document publicat a: https://doi.org/10.1017/jsl.2023.7 | - |
| dc.relation.ispartof | Journal of Symbolic Logic, 2024, vol. 89, num.4, p. 1522-1580 | - |
| dc.relation.uri | https://doi.org/10.1017/jsl.2023.7 | - |
| dc.rights | cc by-nc-sa (c) Fornasiere, Damiano et al., 2023 | - |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/3.0/es/ | * |
| dc.source | Articles publicats en revistes (Filosofia) | - |
| dc.subject.classification | Lògica | - |
| dc.subject.classification | Proposició (Lògica) | - |
| dc.subject.classification | Deducció | - |
| dc.subject.other | Logic | - |
| dc.subject.other | Proposition (Logic) | - |
| dc.subject.other | Deduction (Logic) | - |
| dc.title | Intuitionistic Sahlqvist theory for deductive systems | - |
| dc.type | info:eu-repo/semantics/article | - |
| dc.type | info:eu-repo/semantics/publishedVersion | - |
| dc.identifier.idgrec | 758271 | - |
| dc.date.updated | 2025-04-30T14:58:54Z | - |
| dc.rights.accessRights | info:eu-repo/semantics/openAccess | - |
| 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
