Detail príspevku/publikácie

Abstrakt

In the paper the axiomatic and semantic representation of a conception of the fuzzy logic is given. The invalidity of some «1 as steal principles for this logic, especially of the rule of Jhje conditional modus ponens, is the cause that the given axiomatization comprises the rules of various metalanguage levels and it is, therefore, not Hilbertian axiomatization. That is why in this paper the examined logic is represented by a system of natural deduction in the sense of the relation of the „conditionai assertion” of D. Scottus. Also the correctness of this system and its equivalence with the original axiomatic calculus is demonstrated.