# name
Intuitionistic Sahlqvist theory for deductive systems

# metadata.dc.description.abstract[].value
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.

# metadata.dc.rights[].value
cc by-nc-sa (c) Fornasiere, Damiano et al., 2023

# metadata.dc.source[].value
Articles publicats en revistes (Filosofia)

# metadata.dc.title[].value
Intuitionistic Sahlqvist theory for deductive systems