Detail príspevku/publikácie

Abstrakt

The problem of construction of deductive systems of some non-clasical logics is influenced by inadequacy of certain classical rules to be used in the logics. Thus, inadequacy of conditional modus poneits does not allow to derive the confusion rule and it, therefore, makes the relation of derivability defective an view to implication. It is not, in fact, possible for such logics to) construct an axiomatic system of the Hilbert type while (preserving the genuine sense of the inference relation. These rules are, however, adequate on the meta-language level, so it is possible to represent the most (kinds of logics in question by the deductive system of some type of natural deduction.