Hereditarily Structurally Complete Superintuitionistic Deductive Systems
Logic
2016-11-16 v1
Abstract
The paper studies hereditarily complete superintuitionistic deductive systems, that is, the deductive system which logic is an extension of the intuitionistic propositional logic. It is proven that for deductive systems a criterion of hereditary structurality - similar to one that exists for logics - does not exists. Nevertheless, it is proven that many standard superintuitionistic logics (including Int) can be defined by a hereditarily structurally complete deductive system.
Keywords
Cite
@article{arxiv.1611.04809,
title = {Hereditarily Structurally Complete Superintuitionistic Deductive Systems},
author = {Alex Citkin},
journal= {arXiv preprint arXiv:1611.04809},
year = {2016}
}