Title: Applications of Logics Based on Non-deterministic Multiple-valued Structures
Abstract:
The ordinary concept of a multiple-valued matrix is generalized by introducing non-deterministic many-value logics, in which non-deterministic computations of truth-values are allowed. Basic properties of the resulting logics are studied, and applications of them for proof theory, for constructive reasoning and for paraconsistent reasoning are described.