| Summary: | This paper proposes a logical system in which reversible and
irreversible processes could be uniformly handled. This attempt originates in the observation that the question of reversibility not essentially emerges in logic, nor yet in temporal logic in spite of the fact that, in principle, it should be an eminent question as regards any action (where time is the vehiculum and presupposition of change). The situation is quite similar with communication theories, where the expression ’communication’ usually refers to an individual process or action in spite of the fact that any process presupposes a given, timeless type for this process. This timeless or time-indifferent types are the prototypes of pure communication.
|
|---|