Fornasiere, DamianoMoraschini, Tommaso2025-04-302025-04-302024-12-010022-4812https://hdl.handle.net/2445/220735Sahlqvist 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.59 p.application/pdfengcc by-nc-sa (c) Fornasiere, Damiano et al., 2023http://creativecommons.org/licenses/by-nc-sa/3.0/es/LògicaProposició (Lògica)DeduccióLogicProposition (Logic)Deduction (Logic)info:eu-repo/semantics/article7582712025-04-30info:eu-repo/semantics/openAccess