arXiv Open Access 2013

Proof search in multi-succedent sequent calculi for intuitionistic logic under the Schuette's schema

Toshiyasu Arai

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

math.LO

Penulis (1)

Toshiyasu Arai

Format Sitasi

APA MLA BibTeX

Arai, T. (2013). Proof search in multi-succedent sequent calculi for intuitionistic logic under the Schuette's schema. https://arxiv.org/abs/1312.1136

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2013
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓