Variable-Valued Logic

Variable-valued logic is an extension of some known many-valued logics (MVL) in two directions: 1. it permits the propositions and variables in the propositions to take values from different domains, which can vary in the kind and number of elements and also in the structure relating to the elements. 2. it generalises some ot the traditionally used operators and adds new operators which are “most orthogonal” to the former.