dc.contributor.author
Fornasiere, Damiano
dc.contributor.author
Moraschini, Tommaso
dc.date.issued
2025-04-30T14:58:54Z
dc.date.issued
2025-04-30T14:58:54Z
dc.date.issued
2024-12-01
dc.date.issued
2025-04-30T14:58:54Z
dc.identifier
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
application/pdf
dc.publisher
Association for Symbolic Logic.
dc.relation
Reproducció del document publicat a: https://doi.org/10.1017/jsl.2023.7
dc.relation
Journal of Symbolic Logic, 2024, vol. 89, num.4, p. 1522-1580
dc.relation
https://doi.org/10.1017/jsl.2023.7
dc.rights
cc by-nc-sa (c) Fornasiere, Damiano et al., 2023
dc.rights
http://creativecommons.org/licenses/by-nc-sa/3.0/es/
dc.rights
info:eu-repo/semantics/openAccess
dc.source
Articles publicats en revistes (Filosofia)
dc.subject
Proposició (Lògica)
dc.subject
Proposition (Logic)
dc.subject
Deduction (Logic)
dc.title
Intuitionistic Sahlqvist theory for deductive systems
dc.type
info:eu-repo/semantics/article
dc.type
info:eu-repo/semantics/publishedVersion
