Реверсивные конструктивные логики

Article Sidebar

PDF
Опубликован: 30.11.2009
DOI: https://doi.org/10.21146/2074-1472-2009-15-0-150-168
Ключевые слова:
реверсивная вычислимость, конструктивная логика, обратимые действия

Main Article Content

Н.Н. Непейвода

Аннотация

Предметом исследования является новый класс конструктивной логики: реверсивные. Они индуцированны классом проблем, где все действия должны быть обратимыми (то есть каждая последовательность действий может быть отменена). Эти действия не теряют и не добавляют информацию. Семантика реверсивной логики основана на сочетании реализуемости и модифицированной идеи Жирара. Миры и действия в их моделях являются элементами одной группы. Показано, что реверсивная логика формализуема и сформулированы некоторые основные свойства реверсивной логики.

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Непейвода Н. Реверсивные конструктивные логики // Логические исследования / Logical Investigations. 2009. Т. 15. C. 150-168.
Выпуск
Том 15 (2009)
Раздел
Статьи

Литература

Landauer R. Irreversibility and heat generation in the computing process // IBM Journal of Research and Development. 1961. V. 5. P. 183-191.
Bennett С.H. Logical reversibility of computation // IBM Journal of Research and Development. 1973. V. 17. P. 525-532.
Toffoli T. Reversible Computing // MIT Technical Report MIT/LCS/TM-151, 1980.
Fredkin E., Toffoli T. Conservative logic // International Journal of Theoretical Physics. 1982. V. 21. P. 219-253.
Merkle R.C. Towards Practical Reversible Logic, // Workshop on Physics and Computation, PhysComp ’92, October, Dallas Texas. IEEE Press, 1992.
Непейвода _. H., Скопин И. H. Основания программирования. М.;Ижевск, 2004.