Miniatura

Fitxers

893097.pdf (684.63 KB)

Tipus de document

Article

Versió

Versió publicada

Data de publicació

2024-12-01

Llicència de publicació

cc by-nc-sa (c) Fornasiere, Damiano et al., 2023
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/220735

Intuitionistic Sahlqvist theory for deductive systems

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

https://doi.org/10.1017/jsl.2023.7

Resum

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.

Matèries

Lògica, Proposició (Lògica), Deducció

Matèries (anglès)

Logic, Proposition (Logic), Deduction (Logic)

Citació

Col·leccions

Articles publicats en revistes (Filosofia)

Citació

FORNASIERE, Damiano, MORASCHINI, Tommaso. Intuitionistic Sahlqvist theory for deductive systems. _Journal of Symbolic Logic_. 2024. Vol. 89, núm. 4, pàgs. 1522-1580. [consulta: 9 de gener de 2026]. ISSN: 0022-4812. [Disponible a: https://hdl.handle.net/2445/220735]

Exportar metadades

JSON - METS

Compartir registre