Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

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)