A proof of cut-elimination theorem in simple type-theory.Journal of the Mathe- matical Society of Japan, 19(4):399–410

Moto-o Takahashi · 1967

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

citation-role summary

baseline 1

baseline 1

math.LO · 2026-05-12 · unverdicted · novelty 7.0 · 2 refs

First non-labelled sequent calculi for CS, CSM, ER bimodal provability logics with cut-elimination and uniform Lyndon interpolation.

Showing 1 of 1 citing paper.

Proof Theory for Bimodal Provability Logics math.LO · 2026-05-12 · unverdicted · none · ref 43 · 2 links
First non-labelled sequent calculi for CS, CSM, ER bimodal provability logics with cut-elimination and uniform Lyndon interpolation.