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

Abstract

The subject of the inquiry is a new class of constructive logics: reversive ones. They are induced by class of problems where all actions are to be reversible (i. e. each sequence of actions can be undone). Those actions do not lose and do not add information. Semantic of reversive logic is based on amalgam of realizability and modified Girard’s idea. Worlds and actions in their models are elements Of the same group. It is shown that reversive logic is formalizable and stated some basic properties of reversive logic.