PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2007 | 11(24) | 67-84
Tytuł artykułu

BASIC CONCEPTS OF CONTINUOUS LOGIC

Autorzy
Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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.
Słowa kluczowe
Rocznik
Numer
Strony
67-84
Opis fizyczny
Rodzaj publikacji
ARTICLE
Twórcy
  • Vitaly i. Levin, Penza State Technological Academy, Penza, Russian Federation
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
CEJSH db identifier
09PLAAAA059619
Identyfikator YADDA
bwmeta1.element.98aaea78-c711-3378-b7a6-f0fd20b882f1
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.