|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Simulation of Natural Deduction and Gentzen Sequent Calculusстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 10 августа 2018 г.
- Автор: Kozhemiachenko Daniil
- Журнал: Logic and Logical Philosophy
- Том: 27
- Номер: 1
- Год издания: 2018
- Первая страница: 67
- Последняя страница: 84
- DOI: 10.12775/llp.2017.009
- Аннотация: We consider four natural deduction systems: Fitch style, Gentzen style (in the form of dags), general deduction Frege system and nested deduction Frege system, as well as dag-like Gentzen style sequent calculus. All these calculi soundly and completely formalise classical propositional logic. We show that general deduction Frege system and Gentzen style natural calculus provide at most quadratic speedup over nested deduction Frege system and Fitch style natural calculus and at most cubic speedup over Gentzen style sequent calculus.
- Добавил в систему: Кожемяченко Даниил Андреевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | 11930-31299-2-PB.pdf | 1,1 МБ | 25 апреля 2017 [legionier] |