In this paper, a general description of a continuous (-valued) logic is given and some problems and particulars of their solutions are discussed. Firstly, the author defines algebra of continuous logic and enumerate its basic unary, binary and ternary functions. All laws of continuous logic are compared to laws of discrete binary logic. He discusses how to enumerate all the functions of continuous logic with a specified number of variables and how to represent such functions in a standard form. Procedures of minimization regarding continuous logical functions and their decomposition into functions with less clarity are exploited. The procedures are compared to their counterparts from binary logic. He also tackles problems of the analysis and synthesis of continuous logical functions, and shows that the problem of synthesis may not have a solution. Basics of differential and integral calculus are applied to continuous-valued logic. The author demonstrates that any continuous logical function has the points where a derivative does not exist. To conclude, he briefly discusses a problem of incompleteness regarding continuous logic, application of continuous logic in mathematics, engineering and economy, gives examples, draws a perspective of further development and supplies an extensive bibliography of Russian works in the field.
Financed by the National Centre for Research and Development under grant No. SP/I/1/77065/10 by the strategic scientific research and experimental development program:
SYNAT - “Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”.