Информационная система "Конференции"

Abstracts

Non-classical logics, proof theory and universal algebra

In this paper the non-classical three-valued logic on true values set {-1,0,1} has been constructed. Its functional properties were investigated. It's shown that the law of excluded middle is invalid in this logic. But basic operations assigned deterministically and uncertainty is a element of true values set - integer 0. These and some other circumstances allow to discuss a similarity of this new logic with both of deterministic and fuzzy logics. It determined by construction but has a fuzzy properties. It allow to conclude a possibility of deterministic and fuzzy approaches conjunction in constructed logic and development of intellectual systems based on such complex approach.

Mail to Webmaster alc9@math.nsc.ru

|Home Page| |English Part|

Go to Home