OPERATORS OF LOGIC RULES AND RELATIONS BETWEEN THEM
OPERATORS OF LOGIC RULES AND RELATIONS BETWEEN THEM

Summary/Abstract: The aim of this paper is to extend a result concerning the truth function domain in the bivalent logic to the domain of logic of norms operators. Such as in the domain of truth function, for some logic of norms operators, there are contrary deontic operators. Starting from these, one can find out conclusive deontic operators for the same. So we have an alternative way than deduction, for obtaining the conclusions. Getting back the domain of truth function, for some given of them there are subcontrary functions. Starting from these, one can find out the premise functions for given function. The same, for some given deontic operators, there are subcontrary deontic operators. Starting from these, one can find out premise deontic operators of the given deontic operator. So we have a way for obtaining of the premises.

• Details
• Contents