Proof search in multi-succedent sequent calculi for intuitionistic logic under the Schuette's schema
classification
🧮 math.LO
keywords
intuitionisticlogiccalculimulti-succedentpredicateproofschemaschuette
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.