Intuitionistic Sahlqvist theory for deductive systems
Logic
2025-02-05 v1
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.
Keywords
Cite
@article{arxiv.2208.00691,
title = {Intuitionistic Sahlqvist theory for deductive systems},
author = {Damiano Fornasiere and Tommaso Moraschini},
journal= {arXiv preprint arXiv:2208.00691},
year = {2025}
}
Comments
50 pages