Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Files

893097.pdf (684.63 KB)

Document type

Article

Version

Published version

Publication date

2024-12-01

Publication license

cc by-nc-sa (c) Fornasiere, Damiano et al., 2023
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/220735

Intuitionistic Sahlqvist theory for deductive systems

Journal Title

Authors

Director/Tutor

Journal ISSN

Volume Title

Related resource

https://doi.org/10.1017/jsl.2023.7

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.

Subject

Lògica, Proposició (Lògica), Deducció

Subject (English)

Logic, Proposition (Logic), Deduction (Logic)

Citation

Collections

Articles publicats en revistes (Filosofia)

Citation

FORNASIERE, Damiano and MORASCHINI, Tommaso. Intuitionistic Sahlqvist theory for deductive systems. Journal of Symbolic Logic. 2024. Vol. 89, num. 4, pags. 1522-1580. ISSN 0022-4812. [consulted: 11 of August of 2026]. Available at: https://hdl.handle.net/2445/220735

Export metadata

JSON - METS

Share record