On the Multi-valued Logics

Author: davit baramidze
Keywords: Post systems, Lukasiewicz systems, G¨odel’s system
Annotation:

This work devoted to a survey on many-valued logic. Beginning with the general theoryit is considered popular many-valued logics such as Post logics, Gödel logic, Lukasiewicz logic, Bochvar and Kleene logics, and Belnap logic and corresponding to them algebras (matrixes)

Lecture files:

მრავალნიშნა ლოგიკების შესახებ [ka]