Universitat de Barcelona
2025-04-30T14:58:54Z
2025-04-30T14:58:54Z
2024-12-01
2025-04-30T14:58:54Z
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.
Article
Versió publicada
Anglès
Lògica; Proposició (Lògica); Deducció; Logic; Proposition (Logic); Deduction (Logic)
Association for Symbolic Logic.
Reproducció del document publicat a: https://doi.org/10.1017/jsl.2023.7
Journal of Symbolic Logic, 2024, vol. 89, num.4, p. 1522-1580
https://doi.org/10.1017/jsl.2023.7
cc by-nc-sa (c) Fornasiere, Damiano et al., 2023
http://creativecommons.org/licenses/by-nc-sa/3.0/es/
Filosofia [706]
