Intuitionistic Sahlqvist theory for deductive systems

Vista senzilla d'ítem
dc.contributor.authorFornasiere, Damiano
dc.contributor.authorMoraschini, Tommaso
dc.date.accessioned2025-04-30T14:58:54Z
dc.date.available2025-04-30T14:58:54Z
dc.date.issued2024-12-01
dc.date.updated2025-04-30T14:58:54Z
dc.description.abstractSahlqvist 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.extent59 p.
dc.format.mimetypeapplication/pdf
dc.identifier.idgrec758271
dc.identifier.issn0022-4812
dc.identifier.urihttps://hdl.handle.net/2445/220735
dc.language.isoeng
dc.publisherAssociation for Symbolic Logic.
dc.relation.isformatofReproducció del document publicat a: https://doi.org/10.1017/jsl.2023.7
dc.relation.ispartofJournal of Symbolic Logic, 2024, vol. 89, num.4, p. 1522-1580
dc.relation.urihttps://doi.org/10.1017/jsl.2023.7
dc.rightscc by-nc-sa (c) Fornasiere, Damiano et al., 2023
dc.rights.accessRightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/3.0/es/*
dc.sourceArticles publicats en revistes (Filosofia)
dc.subject.classificationLògica
dc.subject.classificationProposició (Lògica)
dc.subject.classificationDeducció
dc.subject.otherLogic
dc.subject.otherProposition (Logic)
dc.subject.otherDeduction (Logic)
dc.titleIntuitionistic Sahlqvist theory for deductive systems
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion

Fitxers

Paquet original

Mostrant 1 - 1 de 1
Miniatura
Nom:
893097.pdf
Mida:
684.63 KB
Format:
Adobe Portable Document Format
Descarregar

Col·leccions

Articles publicats en revistes (Filosofia)