Proof search in multi-succedent sequent calculi for intuitionistic logic under the Schuette's schema
Logic
2017-01-04 v5
Abstract
Following G. Mints(Kluwer 2000 and draft 2013), we present terminating and bicomplete proof searches in multi-succedent sequent calculi for intuitionistic propositional logic, fragments of intuitionistic predicate logic and full intuitionistic predicate logic in the spirit of Schuette's schema.
Keywords
Cite
@article{arxiv.1312.1136,
title = {Proof search in multi-succedent sequent calculi for intuitionistic logic under the Schuette's schema},
author = {Toshiyasu Arai},
journal= {arXiv preprint arXiv:1312.1136},
year = {2017}
}