Logic RM, its Origin, Properties and Interrelations with other Systems. Ivan A. Karpenko
Submitted by Admin on Thu, 2006-11-23 18:50.
Author: Karpenko I.
ILCSDP | Karpenko I. | Logic
Author: Karpenko I.
Ivan A. Karpenko
Logic RM, its Origin, Properties and Interrelations with other Systems
Abstract
In the paper we consider the main features of RM logic. We investigate the extensions of the imlicative and implicative-negative fragments of system R by adding M axiom and their relations to RM. Also the possibility of 'relevantization' of RM by weakening the connectives of this system is discussed.
in Russian