Zobrazeno 1 - 10
of 181
pro vyhledávání: '"Mints, G."'
Autor:
Akiyoshi, R., Mints, G.
$\Omega$-rule was introduced by W. Buchholz to give an ordinal-free cut-elimination proof for a subsystem of analysis with $\Pi^{1}_{1}$-comprehension. His proof provides cut-free derivations by familiar rules only for arithmetical sequents. When sec
Externí odkaz:
http://arxiv.org/abs/0904.4742
Autor:
Mints, G.
Publikováno v:
The Journal of Symbolic Logic, 1999 Jun 01. 64(2), 479-485.
Externí odkaz:
https://www.jstor.org/stable/2586480
Publikováno v:
The Bulletin of Symbolic Logic, 1999 Sep 01. 5(3), 389-391.
Externí odkaz:
https://www.jstor.org/stable/421186
Autor:
Mints, G.
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 1998 Jan 01. 60(1), 209-231.
Externí odkaz:
https://www.jstor.org/stable/20015960