Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.