Continuous logic – I. Basic concepts

V.I. Levin (Department of Mathematics and Mathematical Economics, Penza Technological Institute, Penza, Russia)

Kybernetes

ISSN: 0368-492X

Publication date: 1 December 2000

Abstract

A general description of a continuous (‐valued) logic is given, basic operations of the logic are defined, and some problems and particulars of their solutions are discussed. First, we define algebra of continuous logic and enumerate its basic unary, binary and ternary functions. All laws of continuous logic are compared with laws of discrete binary logic. We discuss how to enumerate all functions of continuous logic with specified number of variables and how to represent the functions in a standard form. Procedures of minimization of continuous logical functions and their decomposition into the functions with less clarity are exploited. The procedures are compared with their counterparts from binary logic. We also tackle problems of analysis and synthesis of continuous logical functions, and show that the problem of synthesis may not have a solution. Basics of differential and integral calculus are applied to continuous valued logic. We demonstrate that any continuous logical function has the points where a derivative does not exist. At the end of the paper we briefly discuss an incompleteness problem of continuous logic, application of continuous logic in mathematics, engineering and economy, give examples, draw a perspective of further development and supply extensive bibliography of Russian works in the field.

Keywords

Citation

Levin, V. (2000), "Continuous logic – I. Basic concepts", Kybernetes, Vol. 29 No. 9/10, pp. 1234-1249. https://doi.org/10.1108/03684920010346301

Download as .RIS

Publisher

:

MCB UP Ltd

Copyright © 2000, MCB UP Limited

Please note you might not have access to this content

You may be able to access this content by login via Shibboleth, Open Athens or with your Emerald account.
If you would like to contact us about accessing this content, click the button and fill out the form.
To rent this content from Deepdyve, please click the button.