Search

Your search keyword '"03G27, 03B20, 06D20, 03B45"' showing total 1 results
Start Over Descriptor "03G27, 03B20, 06D20, 03B45"
1 results on '"03G27, 03B20, 06D20, 03B45"'

1. Intuitionistic Sahlqvist theory for deductive systems

Author

Fornasiere, Damiano and Moraschini, Tommaso

Subjects
Mathematics - Logic, 03G27, 03B20, 06D20, 03B45
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., Comment: 50 pages

Published
2022

Catalog

Books, media, physical & digital resources
See catalog results