Simulations of propositional single-succedent intuitionistic sequent calculi

Daniil Kozhemiachenko

Аннотация


Simulations of propositional single-succedent intuitionistic sequent calculi


Полный текст:

PDF (English)

Литература


U. Egly and S. Schmitt. On intuitionistic proof transformations, their complexity, and application to constructive program synthesis. Fundamenta Informaticae, 39(1,2):59 83, 1999.

G. Gentzen. Untersuchungen uber das logische Schlieen I. Mathematische Zeitschrift, (39):176210, 1934.


Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2018 Daniil Kozhemiachenko

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.