THE MAIN GENERALIZATION OF CONTINUOUS-VALUED LOGIC

• Authors: Levin Vitaly I.
• Languages of publication: EN

Abstracts

EN

The paper outlines basic results in the generalization of continuous-valued logic. The survey is based on Russian publications. We consider an order logic, which is a generalization of continuous-valued logic where the operations of maximum (disjunction) and minimum (conjunction) are substituted with the operation of selection of r-th order argument, corresponding to the values of arguments. We show that this new operation is expressed in a superposition of disjunctions and conjunctions of continuous-valued logic. Various classes of logical determinants are considered; they are thought as numerical characteristics of matrices, expressible in operations of continuous-valued logic. Namely, we investigate order determinants, which generalize order logical operation of several arguments in matrix form, and determinants with various constraints on subsets of matrix elements. Properties of all logical determinants are discussed, compared with properties of algebraic determinants; techniques of computation of logical determinants are supplied. We also investigate a predicate algebra of choice, which generalizes continuous-valued logic in case of simulation of discontinuous functions; a hybrid logic of continuous and discrete variables; a logic-arithmetic algebra, which includes, in addition to continuous-logic operations, four arithmetical operations; a complex algebra of logic, where supportive set C is a field of complex numbers. A description of each algebra includes basic laws, which are compared with the laws of conventional continuous-valued logic. Several generalizations of continuous-logic operations to operations over matrices, random and interval variables are discussed. Some applications of continuous-valued logics are shown.

Keywords

EN

CLASSES OF LOGICAL DETERMINANTS; CONTINUOUS-VALUED LOGIC; SUPERPOSITION

Discipline

• LIBRARY_&_INFORMATION_SCIENCE: LIBRARY & INFORMATION SCIENCE

• Publisher: Sciendo
• Journal: Studies in Logic, Grammar and Rhetoric
• Year: 2008
• Issue: 14(27)
• Pages: 155-170
• Document type: ARTICLE

Contributors

author

Levin Vitaly I.

• Vitaly I. Levin, Department of Science Technology, Penza State Technological Academy, Penza, Russia

Identifiers

CEJSH db identifier

11PLAAAA101416