Skip to main content

Publication Details

On Problems of Axiomatization of Intentional and Many-Valued Logics

(Original title: K problému axiomatizácie intenzionálnych a mhohohodnotových logík)
Filozofia, 37 (1982), 3, 378-390.
Type of work: Papers
Publication language: Slovak
Abstract
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.
File to download: PDF