Logical Calculus Using Fuzzy Formulas
Autor: | O. V. German, A. A. Linnik |
---|---|
Jazyk: | ruština |
Rok vydání: | 2005 |
Předmět: | |
Zdroj: | Nauka i Tehnika, Vol 0, Iss 5, Pp 55-58 (2005) |
Druh dokumentu: | article |
ISSN: | 2227-1031 2414-0392 |
DOI: | 10.21122/2227-1031-2005-0-5-55-58 |
Popis: | The paper considers a functionally closed multi-valued calculus with conditional formulas F = {a|b} such that F s a when b = true; F = false when a = false and F = uncertainty in all other cases. A measure function for fuzzy conditional formulas has been worked out and a mechanism of logical conclusion for formulas of the proposed calculus is given in the paper. An axiomatics is introduced and theorems on incompleteness and functional closeness are proved. |
Databáze: | Directory of Open Access Journals |
Externí odkaz: |